Reasoning about knowledge
Reasoning about Information Change
Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Dynamic Epistemic Logic
| Hi-index | 0.00 |
This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.