Sylabus
Dynamic epistemic logic
Dynamic logic and programmes
Change of information
Epistemic logic
History in the framework of multi-modal logics
Kripke semantics for the modality K
Axiomatic systems based on modal logics (K, T, S4, S5)
Knowledge and truth, positive and negative introspection
Completeness theorem, canonical model and max-consistent sets of formulas (Lindenbaum lemma)
Canonicity
Decidability via finite models (+ the role of filtration), problems with accessibility relations
The meaning of common knowledge in a group of agents ("muddy children" story), everybody knows (group knowledge)
Kripke semantics for modalities K, E and C
Axiomatic systems for modalities K, E and C
Non-canonicity, non-compactness, accessibility realation for C, quasi-canonical model
Weak completeness theorem via finite canonical model
Distributed (implicit) knowledge I
Knowledge as belief (system KD45)
Predicate epistemic logic
Public announcement logic (PAL)
PAL - properties and axioms (S5 version)
PAL with common knowledge (PALC)
Successful and unsuccessful formulas and updates
Public announcement for weaker systems
Relativised common knowledge
Relevant epistemic logic
Logic for communication
Logic of questions
Epistemic logic with questions
Questions in PAL