Dynamic Epistemic Logic and Knowledge Puzzles

Authors:
H. P. Ditmarsch;W. Hoek;B. P. Kooi
Affiliations:
University of Otago, New Zealand;University of Liverpool, United Kingdom;University of Groningen, Netherlands
Venue:
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Year:
2007

Citing 7
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Dynamic epistemic logic with assignment

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change

Information and Computation
Dynamic Epistemic Logic

Dynamic Epistemic Logic
A combined system for update logic and belief revision

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We then apply the logic of public announcements in DEL to the analysis of a knowledge puzzle, called `What Sum'.