Non-classical logics

  • Viorica Sofronie-Stokkermans

  • Registration and/or questions: e-mail to sofronie@uni-koblenz.de

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

  • Course Materials
  • Slides
  • Exercises

  • Exam
  • Exam (Termin 1): 11.02.2013, starting from 10:00, Room B225 (oral examination)
  • Question/Answer session: 7.02.2013, 10:15-12:00
  • List of topics: [summary.pdf]

  • Exam (Termin 2): 22.03.2013, starting from 11:00, Room B225 (oral examination)
  • Question/Answer session: TBA

  • News:
  • The winter holiday starts on 20.12.2012 (see also here)
  • On Wednesday, 19.12.2012, an exercise is scheduled instead of the lecture
  • The next lectures after the holiday: 9.1.2013 and 10.1.2013
  • 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.


    Bibliography

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