192.085 Non-classical Logics
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VU, 2.0h, 3.0EC, to be held in blocked form

Course evaluation


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to recognize different motivations for extending, modifying, refining, and generalizing classical logic. In particular, successful participants know how to apply concepts and techniques of modal logic to model forms of reasoning, that refer to the knowlegde and ignorance of (idealized) agents. Moreover, they have aquired an overview over the wide and varied landscape of nonclassical logical formalisms.

Subject of course

Introduction into modal logic, in particular epistemic logic (logics of knowledge), intuitionistic logics, many valued logics, including fuzzy logics. In particular, a number of relevant results from proof theory and formal semantics (e.g., correctness, completeness, complexity of logics and calculi) are covered. Moreover also foundational problems relating to formal, logical modeling of important concepts in computer science will be discussed.

Teaching methods

  • mathematical proofs
  • derivations in logical calculi
  • formal modeling

Mode of examination


Additional information

The lectures of the course will require physical presence of participants (assuming that the pandemic situation does not force us to switch to digital mode).

The first meeting will take place on March 11, 13.00 (till about 14.30) in Seminarraum FAV EG C (Gödel), Favoritenstr. 9-11, ground floor (access via the court yard).

Please register when you want to receive updates / further information. (No obligation to actually participate is entailed.)



Course dates

Mon13:00 - 15:0011.03.2024 - 24.06.2024Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon13:00 - 15:0027.05.2024Seminarraum FAV EG B (Seminarraum von Neumann) Lecture
Non-classical Logics - Single appointments
Mon11.03.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon18.03.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon08.04.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon15.04.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon22.04.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon29.04.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon06.05.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon27.05.202413:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) Lecture
Mon03.06.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon10.06.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon17.06.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon24.06.202413:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Course is held blocked

Examination modalities

The default method of evaluation refers to individual solutions to exercises that are to be handed in regularly during the whole course. If insufficient, this may be augmented by assignments of additional tasks or an online exam at the end of the course.

Course registration

Begin End Deregistration end
21.02.2024 12:00 24.04.2024 12:00 23.04.2024 12:00

Registration modalities

Registration comes without further obligations. It enables communication via TISS messaging.


Study CodeObligationSemesterPrecon.Info
066 931 Logic and Computation Mandatory elective
860 GW Optional Courses - Technical Mathematics Not specified


No lecture notes are available.

Previous knowledge

Knowledge in classical propostional and first order logic