Non-classical logics

  • Viorica Sofronie-Stokkermans

  • Registration and/or questions: e-mail to

  • Time and place:
  • 19.10.2011-10.11.2011: Wednesdays 16:00-18:00, Room F312; Thursdays 10:00-12:00, Room F312
  • New: Starting with 16.11, the lecture on Wednesdays will take place from 10:00 to 12:00 in Room B233
  • Exception: On Wednesday, 23.11.2011 the lecture takes place from 16:00 to 18:00, Room F312

  • Exam:
  • Exam: 15.03.2012, starting from 14:00, Room B225 (oral examination)
  • Question/Answer sessions: 8.03.2012 (14:00) and 13.03.2012 (14:00), Room B225.
  • Summary of topics

  • Course Materials
  • Slides
  • Exercises

  • 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