Reasoning about knowledge
Dynamic Logic
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
Logics for insecure communication
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Agent learning in the multi-agent contracting system [MACS]
Decision Support Systems
A sketch of a dynamic epistemic semiring
Information and Computation
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
| Hi-index | 0.00 |
We refine our algebraic axiomatization in [A. Baltag, B. Coecke, M. Sadrzadeh, Epistemic actions as resources in Proceedings of Logics for Resources Programs Processes (LRPP) workshop in LiCS 2004, http://www.er.uqam.ca/nobel/philmath/LicsWSPROC.pdf, A. Baltag, B. Coecke, M. Sadrzadeh, Algebra and Sequent Calculus for Epistemic Action', Electrical Notes in Computer Science 126 (2005) 27-52] of epistemic actions and epistemic update (notions defined in [A. Baltag, L.S. Moss, Logics for epistemic programs, Synthese 139 (2004) 165-224, A. Baltag, L.S. Moss, S. Solecki, The logic of public announcements, common knowledge and private suspicions, CWI Technical Report SEN-R9922, 1999] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting. We encode revision as a particular form of epistemic update, as a result of which we can revise with epistemic propositions as well as facts, we can also revise theories about actions as well as about states of the worlds, and we can do multi-agent belief revision. We show how our setting can be applied to a cheating version of the muddy children puzzle where by using this logic, after the cheating happens, honest children will not get contradictory beliefs.