Dynamic Epistemic Logic (Update of )
Author:
- Barteld KooiBKBarteld Kooi
- 1 January 2011
- book chapter
- Published by Elsevier
- p. 671-690
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Logics of public communicationsSynthese, 2007
- Epistemic Actions as ResourcesJournal of Logic and Computation, 2007
- The Surprise Examination in Dynamic Epistemic LogicSynthese, 2007
- Algebra and Sequent Calculus for Epistemic ActionsElectronic Notes in Theoretical Computer Science, 2005
- Changing ModalitiesJournal of Logic and Computation, 2004
- Logics for Epistemic ProgramsSynthese, 2004
- The Dynamic Turn in Twentieth Century LogicSynthese, 2002
- A Logic for Suspicious Players: Epistemic Actions and Belief–Updates in GamesBulletin of Economic Research, 2002
- Reasoning about Information ChangeJournal of Logic, Language and Information, 1997
- Abstraction in First‐Order Modal Logic1Theoria, 1968