Non-classical logics

  • Viorica Sofronie-Stokkermans

  • For questions: e-mail to

  • You can also ask question on the newsgroup infko.logik
    (Please add the keyword "Non-Classical Logics" in your subject line.)

  • Time and place:
  • Lecture: Mi, 16:00-18:00, Room E 016 (weekly); and Mi, 10:00-12:00, Room C 208 (every two weeks)
  • Exercise: Mi, 10:00-12:00, Room C 208 (every two weeks)

  • Course Materials
  • Slides
  • Exercises

  • Exam
  • 1. Termin: Tue, 10.03.2015, 11:00-13:00, Room B 016 (written exam, 120 min)

    You are allowed to use an A4 sheet with notes you made about the lecture (written on both sides, written by you, and marked with your name)

  • Question/Answer Session: 9.03.2015, 11:00, Room B225
  • List of topics: [summary.pdf]
  • Additional material added after the slides (it might be necessary to press the reload button to see it)
  • 2. Termin: Wednesday, 6.05.2015, starting from 10:30, Room B225 (oral exam)

  • Course description:

    The goal of the lecture is to give an introduction to non-classical logics.
    We will first present many-valued logics (including fuzzy logics).
    The course will then focus on non-classical logics relevant for computer science,
    such as:

    - modal logics and description logics (knowledge representation),
    - temporal logic: LTL, CTL (verification, model checking), and
    - the dynamic logic of programs.


    Additional bibliography
    Modal, temporal and dynamic logic
    Modal and temporal logic
    Modal and temporal logic