Nonclassical logics
Time and place:
Exam:
Course Materials
Course description:
The goal of the lecture is to give an introduction to nonclassical logics.
We will first present manyvalued logics (including fuzzy logics).
The course will then focus on nonclassical 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. 368448

Fitting, M. Proof methods for modal and intuitionistic logics, Kluwer, 1983.

Fitting, M. and Mendelsohn, R. Firstorder 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 478563, 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 finitestate concurrent
systems using temporal logic specifications.
ACM Transactions on Programming Languages and Systems (TOPLAS)
8(2): 244263
Modal and temporal logic

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