大象传媒

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