- Temporal Location of Events in Language and (Non) Persistence of the Past.Fabio Del Prete - manuscriptdetails
- Two-Dimensional Time.Michael Kowalik - manuscriptdetails
- The Apparent Nature of Relative Simultaneity.Andrew Wutke - manuscriptdetails
- L. Farinas and E. ORLOWSKA, Preface 115 P. WOLPER, The Tableau Method for Temporal Logic: An Over-View 119 M. MICHEL, Computation of Temporal Operators 137. [REVIEW]L. Farinas del Cerro - forthcoming - Logique Et Analyse.details
- Meyer’s Struggle with Presentism or How We Can Understand the Debate Between Presentism and Eternalism.Jerzy Gołosz - forthcoming - Logic and Logical Philosophy:1.details
- Possibility Semantics.Wesley H. Holliday - forthcoming - In Melvin Fitting (ed.), Selected Topics from Contemporary Logics. London: College Publications.details
- Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic.Ahmad Karimi - forthcoming - Logic and Logical Philosophy:1.details
- Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
- A Separation Theorem for Discrete-Time Interval Temporal Logic.Dimitar P. Guelev & Ben Moszkowski - 2022 - Journal of Applied Non-Classical Logics 32 (1):28-54.details
- Temporal Logic of Minkowski Spacetime.Robin Hirsch & Brett McLean - 2022 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 389-409.details
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals.André Vellino - 2022 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 521-536.details
- Branching Time and Doomsday.Giacomo Andreoletti - 2021 - Ratio 35 (on-line first):1-12.details
- The Future Ain’T What It Used to Be: Strengthening the Case for Mutable Futurism.Giacomo Andreoletti & Giuseppe Spolaore - 2021 - Synthese 199 (3-4):10569-10585.details
- An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2021 - Studia Logica 109 (2):285-312.details
- Credible Futures.Andrea Iacona & Samuele Iaquinto - 2021 - Synthese (3-4):10953-10968.details
- Discrete Linear Temporal Logic with Knowing-Value Operator.Kaiyang Lin - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 141-148.details
- Social Bot Detection as a Temporal Logic Model Checking Problem.Mina Young Pedersen, Marija Slavkovik & Sonja Smets - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 158-173.details
- Philosophy of Time: A Contemporary Introduction.Sean Enda Power - 2021 - Routledge.details
- Tense Logic and Ontology of Time.Avril Styrman - 2021 - Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge Co-Located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Onto.details
- The Open Future: Why Future Contingents Are All False.Patrick Todd - 2021 - Oxford: Oxford University Press.details
- Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2021 - Noûs 55 (1):102-127.details
- On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):586-604.details
- The Formalities of Temporaryism Without Presentness.Fabrice Correia & Sven Rosenkranz - 2020 - Notre Dame Journal of Formal Logic 61 (2):181-202.details
- Diamonds Are Forever.Cian Dorr & Jeremy Goodman - 2020 - Noûs 54 (3):632-665.details
- The Invisible Thin Red Line.Giuliano Torrengo & Samuele Iaquinto - 2020 - Pacific Philosophical Quarterly 101 (3):354-382.details
- A Formal Framework for Future Contingents.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):79-136.details
- The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):53-77.details
- Back to the actual future.Jacek Wawer & Alex Malpass - 2020 - Synthese 197 (5):2193-2213.details
- Proof Vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.details
- Fatalism and Future Contingents.Giacomo Andreoletti - 2019 - Analytic Philosophy 60 (3):1-14.details
- Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.details
- Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time.Andrzej Indrzejczak - 2019 - Review of Symbolic Logic 12 (4):806-822.details
- The Mereotopology of Time.Claudio Mazzola - 2019 - Notre Dame Journal of Formal Logic 60 (2):215-252.details
- First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.details
- Now There Will Be Trouble.Giuseppe Spolaore & Fabio Del Prete - 2019 - In Patrick Blackburn, Peter Ohrstrom & Per Hasle (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg: Aalborg Universitetsforlag.details
- A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.details
- Tense and Relativity.Andrew Bacon - 2018 - Noûs 52 (3):667-696.details
- Towards a Formal Symbolic Occurrence Logic.Farshad Badie - 2018 - In Hans Götzsche (ed.), The Meaning of Language. Newcastle-under-Lyme, UK: Cambridge Scholars.details
- From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.details
- Filosofia del Futuro.Samuele Iaquinto & Giuliano Torrengo - 2018 - Milano: Raffaello Cortina.details
- Determinismo, indeterminismo e il problema del futuro vero.Stefano Maria Schieppati - 2018 - Rivista di Filosofia Neo-Scolastica 1:171-184.details
- Notions of Instrumentality in Agency Logic.Kees van Berkel & Matteo Pascucci - 2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.details
- Some Problems with the Russellian Open Future.Jacek Wawer - 2018 - Acta Analytica 33 (4):413-425.details
- Temporal Equilibrium Logic with Past Operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.details
- On the Modal Logic of Subset and Superset: Tense Logic Over Medvedev Frames.Wesley Holliday - 2017 - Studia Logica 105 (1):13-35.details
- The Truth About Osmo.E. J. M. Marques - 2017 - Logic and Philosophy of Time: Themes From Prior, Volume 1.details
|