Last update: December 12, 2024, 12.00 CEST
Mail to V.Goranko
Date 04/08/2025
Introduction to the course. Reasoning about time. Brief history and philosophical origins of temporal reasoning and logics. Tense and modality.
Models of time flows. Prior's basic temporal logic and some extensions.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Sections 2-3
Valentin Goranko, Temporal Logics, Cambridge University Press, 2023. Chapters 1,2
Peter Øhrstrøm and Per Hasle, Future Contingents, Stanford Encyclopedia of Philosophy
John Burgess, Philosophical Logic, Princeton University Press, 2009. Ch.2: Temporal Logic (2.1-2.8)
B. Jack Copeland, Arthur Prior, Stanford Encyclopedia of Philosophy
J. van Benthem, Tense logic and time. Notre Dame J. Formal Logic 25 (1984), no. 1, 1--16.
See additional readings at the bottom of this page.
Provided on request
Date 05/08/2025
Temporal logics over linear time flows.
Additional temporal operators: Nexttime, Since and Until.
The linear time temporal logic LTL.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Sections 4,5
Valentin Goranko, Temporal Logics, Cambridge University Press, 2023. Chapter 4
M. Huth and M. Ryan, Logic in Computer Science modelling and reasoning about systems, CUP, 2004. 2nd ed. Section 3.2
S. Demri, V. Goranko, M. Lange: Temporal Logics in Computer Science, CUP, 2016, Chapter 6.1
Burgess, J., 1984, “Basic tense logic”, in Gabbay and Guenthner (eds.), Handbook of Philosophical Logic (Volume 2), Dordrecht: Reidel, pp. 89–133. New revised edition in: Handbook of Philosophical Logic , 2nd edition, Volume 7, Gabbay and Guenthner (eds.) (2002), pp. 1–42.
S. Demri, V. Goranko, M. Lange: Temporal Logics in Computer Science, CUP, 2016, Chapter 6: 6.2.1, 6.3.1, 6.8
See additional readings at the bottom of this page.
Date 06/08/2025
Historical necessity and Diodorus' Master Argument. Possible solutions.
Models of branching time and historical necessity.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Section 5
Valentin Goranko, Temporal Logics, Cambridge University Press, 2023. Chapter 5
Also, see the following articles in: Journal of Philosophical Studies, vol. 8, 2009 (Special issue on "Models of Time"):
-- Alberto Zanardo, Modalities in Temporal Logic;
-- Peter Øhrstrøm, In Defence of the Thin Red Line: A Case for Ockhamism;
-- Nicholas Denyer, Diodorus Cronus: Modality, The Master Argument and Formalisation
Jorge Luis Borges, The Garden of Forking Paths, 1941
A.N. Prior. Time and Determinism, and The Search for the Diodorean Modal System, in: Past, Present and Future. Oxford University Press, 1967
Thomas M ̈uller, Time and Determinism, J Philos Logic (2015) 44:729–740.
S. Demri, V. Goranko, M. Lange: Temporal Logics in Computer Science, CUP, 2016, Chapter 7: 7.1, 7.5
See additional readings at the bottom of this page.
(Only covered up to p.17 in this lecture)
Provided on request
Date 07/08/2025
The Ockhamist and the Peircean branching time temporal logics. Computation tree logics CTL and CTL*
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Section 5
Valentin Goranko, Temporal Logics, Cambridge University Press, 2023. Chapters 6,7
S. Demri, V. Goranko, M. Lange: Temporal Logics in Computer Science, CUP, 2016, Chapter 7
Provided on request
Date 08/08/2025
1. Brief mention of:
1.1 Hybrid temporal logics.
1.2 Interval-based temporal logics on linear time flows.
1.3 Metric and real-time temporal logics.
1.4 Temporal epistemic logics.
2. First-order temporal logics.
Conclusion of the course.
Valentin Goranko and Antje Rumberg, Temporal Logic, Stanford Encyclopedia of Philosophy, Sections 7.1, 7.2, 8, 9.1
Valentin Goranko, Temporal Logics, Cambridge University Press, 2023. Chapters 8,9
Torben Braüner, Hybrid Logics, Temporal Logic, Stanford Encyclopedia of Philosophy
Carlos Areces and Balder ten Cate, Hybrid Logics, Chapter in the Handbook of Modal Logic
Slides on Lecture 5: Capita selecta
Slides on Lecture 5: First-order temporal logics
Supplementary slides on Interval-based Temporal Logics
Supplementary slides on Temporal Epistemic Logics
Provided on request
If you have any queries on the information above, talk to me or send me an email.
Mail to V.Goranko
