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

About

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