Hjem
Institutt for informasjons- og medievitenskap

Varselmelding

There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there

Hovedinnhold

Galimullin works on multi-agent logics in general, and dynamic epistemic logic in particular, and applications therefor to the blockchain and epistemic planning.