Belief, awareness, and limited reasoning
Artificial Intelligence
Reasoning about knowledge
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Logics of communication and change
Information and Computation
Dynamic Epistemic Logic
Common knowledge in interaction structures
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Becoming aware of propositional variables
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
A logic for knowledge flow in social networks
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
We propose a framework for message passing that combines the best properties of dynamic epistemic semantics and history-based approaches. We assume that all communication is truthful and reliable. Our framework consists of Kripke models with records of sent messages in their valuations. We introduce an update operation for message sending. With this update we can study the exact epistemic consequences of sending a message. We define a class of models that is generated from initial Kripke models by means of message updates, and we axiomatize a logic for this class of models. Next, we add an update modality and sketch a procedure for defining it by means of equivalence axioms.