Non-classical logics
Time and place:
Exam:
Course Materials
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
-
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