Abbreviations

For more information about the lecture halls and seminar rooms, see our lecture room page. The names listed under "Technical Assistance" are student volunteers who will act as a contact person for technical questions of the lecturers and workshop speakers during the course or workshop.

Dynamic epistemic logic

After a brief intro to epistemic logic (more in particular, multimodal S5 and KD45 logics), we turn to the operation of updating multimodal Kripke models with action models and show how this operation can be used to model a wide variety of communicative actions. Extending this with factual change yields a still broader class of performative actions. We show how a very general form of epistemic update logic can be axiomatized in a Logic of Communication and Change (LCC) based on epistemic propositional dynamic logic, and prove that this axiomatisation is complete. Next, we turn to special cases and present logics for common knowledge and public announcement, common belief and public make-believe, common belief and public manipulation (the logic of lying), and for variations on these where factual change is also present. In all these cases the axiomatisations turn out to be special cases of the LCC system. Throughout the course many well-known and less well-known epistemic puzzles and riddles will be analyzed. We will make software available that allows hands-on experiments with finding solutions to epistemic puzzles (for those we brought laptops), using a simplified version of the epistemic model checker DEMO. Further particulars: students should have some basic knowledge of modal logic. Those bringing laptops will be able to run the epistemic model checker and do experiments, but having a laptop is no prerequisite for the course.