Workshop on First-order Modal and Temporal Logics: State of the Art and Perspectives

First-order modal and temporal logics are of fundamental importance for reasoning about necessity, possibility, and temporality. They offer a broad range of actual and potential applications to philosophy, artificial intelligence, computer science, cognitive science, and linguistics.
The workshop is intended to bring together researchers and graduate students in the field of first-order modal and temporal logics, to present the state of the art in the field and to discuss the most important directions for future work in the area.

Course leader

Valentin Goranko and Dmitry Shkatov

Target group

Students