Dynamic Epistemic Logic and Knowledge Puzzles

@inproceedings{Ditmarsch2007DynamicEL,
  title={Dynamic Epistemic Logic and Knowledge Puzzles},
  author={Hans van Ditmarsch and Wiebe van der Hoek and Barteld P. Kooi},
  booktitle={ICCS},
  year={2007}
}
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’. 

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…