Rustam Galimullin
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.
Galimullin works on multi-agent logics in general, and dynamic epistemic logic in particular, and applications therefor to the blockchain and epistemic planning.
