M.: Algebra and sequent calculus for epistemic actions (2004)

by A Baltag, B Coecke, Sadrzadeh
Venue:In: Proceedings of Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004