Home
Department of Information Science and Media Studies

Main content

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