Acquiring of basic knowledge about modal logics and their proof methods. Didactic procedure:
News:
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.
ECTS breakdown: 3 ECTS = 75 Hours
Nicht erforderlich
Melvin Fitting: Proof Methods for Modal and Intuitionistic Logics
Basic knowledge of classical logic.