Non-classical logics

For questions: e-mail to sofronie@uni-koblenz.de

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: Mo, 12:00 c.t. - 14:00, Room A120 (weekly); and Wed, 16:00 s.t. - 18:00, Room C 206 (every two weekly)

Exercise: Wed, 16:00 s.t. - 18:00, Room C 206 (every two weeks)

Course Materials

Slides

Exercises

News

The first exercise takes place on Wednesday, 23.10.2019.

Exam

1. Termin: Mo, 2.03.2020, 13:00-15:00, Room: K 101 (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)

Registration in KLIPS for this exam is possible until 24.02.2020

Question/Answer Session: 28.02.2020, 13:00, Room A 120

List of topics: [summary.pdf]

2. Termin: ~~Monday, 6.04.2020, oral exam in Room B225~~ POSTPONED

NEW TERMIN: 3.06.2020 (Probably Room B 227), oral exam.

Second Termin Reexamination: 15.09.2020 oral exam, Room TBA

Registration in KLIPS will be possible starting with 15.08.2020.

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

P. Schmitt's lecture notes on non-classical logics (in german)

Additional bibliography

Modal, temporal and dynamic logic

Bull and Segerberg Basic modal logic. In Handbook of Philosophical Logic.
Fitting, M. Basic modal logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 1: Logical Foundations. 368-448.
Fitting, M. Proof methods for modal and intuitionistic logics, Kluwer, 1983.
Fitting, M. and Mendelsohn, R. First-order modal logic, Kluwer, 1998.
Goldblatt, R. Logics of time and computation, CSLI Series, 1987.
Hughes, G.E. and Cresswell, M.J.
- A new introduction to modal logic, 1st ed., Routledge, 1996.
- A companion to modal logic, Methuen, 1985.
- Introduction to modal logic (repr. 1990), Routledge, 1972.
Huth, M. and Ryan, M. Logic in Computer Science: Modelling and reasoning about systems, Cambridge University Press, 2000.

Modal and temporal logic

Stirling, C. Modal and temporal logics. In Handbook of Logics in Computer Science, Vol 2: Background: Computational Structures (Gabbay, D. and Abramski, S. and Maibaum, T.S.E. eds), pages 478-563, Clarendon Press, 1992.
Stirling, C. Modal and temporal properties of processes, Springer Texts in computer science, 2001.
Emerson, E.A. Temporal and modal logic. Handbook of Theoretical Computer Science, 1990.
Kroeger, F. Temporal logic of programs, EATCS monographs on theoretical computer science, Springer, 1987.
Clarke, E.N., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(2): 244-263.

Modal and temporal logic

Harel, D., Kozen, D. and Tiuryn, J. Dynamic logic, MIT Press, 2000.