back to Courses
Modal logic II (Dynamic epistemic logics)
Dpt of Logic, Faculty of Arts, Charles University in Prague
The goal of the course is to introduce analyses of knowledge and communication in the framework of modal logics.
- Epistemic and dynamic turns in modal logics
- Modern modal logic (possible world semantics, E.W.Beth, Saul Kripke)
- Kripke-style semantics (transition systems)
- Dynamic turn (update semantics, dynamic logic); AI
- Reasoning with knowledge
- Epistemic logic
- Knowledge representation (individual knowledge operators)
- Logical omniscience problem, some solutions (awareness fction and non-standard states)
- Axioms (K, T, 4, 5, D)
- Group knowledge operators: group knowledge, common knowledge, distributed (implicit) knowledge
- Common knowledge and non-compactness
- Distributed knowledge and two interpretations
- Logic of belief (axioms T and D)
- Axioms (individual and group knowledge operators)
- Bisimulation recalled
- Public announcement (PA)
- Principles of PA
- PA and common knowledge
- Successful formulas and updates
- Formulas preserved under submodels
- PA with belief
- Action Models (AM)
- Syntax and semantics
- Basic properties
- Bisimulation and action emulation
- Expressivity of the introduced dynamic systems' languages (PA, PA+C, AM, AM+C)
- Completeness of the introduced systems (S5, S5+C, PA, PA+C, AM, AM+C)
The course is also maintained at Moodle UK under the title Modalni logiky II. There are all recommended papers there. We expect background of an introductory course in modal logic (see, e.g., Blackburn et al.). This course is covered by some chapters of the book (van Ditmarsch et al.).
References - books
- J van Benthem. Exploring Logical Dynamics. CSLI Publications, Stanford, 1996.
- J van Benthem. Logical Dynamics of Information and Interaction. Cambridge University Press, 2011.
- P Blackburn, M de Rijke and Y Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press, 2001.
- H van Ditmarsch, W van der Hoek, B Kooi. Dynamic Epistemic Logic. Springer, 2008.
- R Fagin, JY Halpern, Y Moses, MY Vardi. Reasoning about Knowledge. MIT Press, 1995.
- D Harrel, D Kozen, J Tiuryn. Dynamic Logic. MIT Press, 2000.
- J-J Meyer, W van der Hoek. Epistemic logic for AI and Computer Science. Cambridge, 1995.