Algebra and Sequent Calculus for Epistemic Actions (2004)

by A Baltag, B Coecke, M Sadrzadeh
Venue:ENTCS Proceedings of Logic and Communication in Multi-Agent Systems (LCMAS) Workshop, ESSLLI 2004