Acquiring of basic knowledge about modal logics and their proof methods. Didactic procedure:

• Lecture
• Exercise part: assignment of students comprise
  
  • processing of simple exercises by students (e.g., complete a proof presented in the lecture),
  • research of literature,
  • preparation and presentation of a 30 minute talk,
  • discussion of talks and solutions.

Different proof systems for basic modal logics, like K, S4, S5, are investigated. We mainly study tableau systems and their close relatives, Gentzen calculi. Furthermore, important properties of the considered logics are studied.

News:

• There is no lecture on October 29. The next lecture will be on November 5.

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture 15h
• Lecture introduction 0.5h
• Solving the exercises 10h
• Preparing the presentation 20h
• Presentation of exercises solutions and talks 9h
• Preparation for exam 20h
• Oral exam 0.5h

• exercises
• presentation
• oral exam

Melvin Fitting: Proof Methods for Modal and Intuitionistic Logics

Basic knowledge of classical logic.