
Grosseto, Italy
5th International Advanced Course on Artificial Intelligence & Neuroscience – ACAIN 2025
When:
21 September - 24 September 2025
Credits:
8 EC
Read more
Computer Sciences
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
City:
Country:
Language:
English
Credits:
0 EC
Fee:
490 EUR
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.
Valentin Goranko and Dmitry Shkatov
Students
Fee
490 EUR, Early student registration
Fee
690 EUR, Early non-academic registration
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
Language:
English
Credits:
0 EC
Grosseto, Italy
When:
21 September - 24 September 2025
Credits:
8 EC
Read more
St. Gallen, Switzerland
When:
23 June - 27 June 2025
Credits:
4 EC
Read more
L'Aquila, Italy
When:
26 May - 30 May 2025
Credits:
0 EC
Read more