Warning! The directory is not yet complete and will be amended until the beginning of the term.
800416 VO Modallogik (2004S)
Modallogik
Labels
n. Ü., Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101
Details
Information
Aims, contents and method of the course
Introduction to the most fundamental systems of modal logic (mainly propositional) S1, S2, S3, S4 (in several versions), S5, T, D, B and related systems; the field of logics between S4 and S5; comparison of different axiomatic systems with different languages. Proof theoretic and model theoretic aspects, like algebraic and Kripke models, dependencies within formal systems, completeness theorems, decision procedures; extension to non-normal theories. 4 ECTS-P.
Assessment and permitted materials
Minimum requirements and assessment criteria
Examination topics
Reading list
Association in the course directory
660
Last modified: Fr 31.08.2018 09:01