Modal logics: applications and proof methods

Slides (PDF files)

• Part I: Introduction to modal and multimodal logics
  • [1.] Motivation and introduction
  • [2.] The basic multimodal logic K
  • [3.] The basic monomodal logics
  • [4.] Completeness of G(k,l,m,n) logics, and decidability of the basic modal logics
  • [5.] Basic multimodal logics
  • [6.] Other modal logics
• Part II: Applications
  • [ 7.] Knowledge and announcements
  • [ 8.] Belief
  • [ 9.] Common knowledge and common belief
  • [10.] Action and propositional dynamic logic
  • [11.] Goals and intentions
  • [12.] Ability, agency and branching time
• Part III: Proof methods
  • [13.] Translation method
  • [14.] Tableau method

Exams

• ...