Ljubljana, Slovenia

First-order Modal and Temporal Logics: Philosophical and Computational Aspects

This course will introduce languages, models, main types of semantics, and deductive systems for first-order modal and temporal logics. It will discuss the philosophical problems arising in the interaction of quantification with modality and temporality and will then present an overview of technical results on completeness and incompleteness, decidability and undecidability, as well as algorithmic and computational complexity of the decision problems for some important systems of first-order modal and temporal logics. Applications to philosophy, mathematics, and computer science will be briefly discussed.
The course is intended for a broad audience of graduate students interested in logical, philosophical, and computational aspects of modal and temporal reasoning.

Course leader

Valentin Goranko and Dmitry Shkatov

Target group

Students

Fee info

EUR 490: Early student registration
EUR 690: Early non-academic registration

Scholarships

There are several scholarship options which you can read about on our website.