Dynamic epistemic logic
1. Dynamic logic and programmes
2. Change of information
Epistemic logic
1. History in the framework of multi-modal logics
2. Kripke semantics for the modality K
3. Axiomatic systems based on modal logics (K, T, S4, S5)
4. The meaning of common knowledge in a group of agents ("muddy children" story), everybody knows (group knowledge)
5. Kripke semantics for modalities K, E and C
6. 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
7. Distributed (implicit) knowledge I
8. Knowledge as belief (system KD45)
9. Predicate epistemic logic
Public announcement logic (PAL)
1. PAL - properties and axioms (S5 version)
2. PAL with common knowledge (PALC)
3. Successful and unsuccessful formulas and updates
4. Public announcement for weaker systems
5. Relativised common knowledge
Relevant epistemic logic
Logic for communication
1. Logic of questions
2. Epistemic logic with questions
3. Questions in PAL