- Two-Dimensional Time.Michael Kowalik - manuscriptdetails
- The Apparent Nature of Relative Simultaneity.Andrew Wutke - manuscriptdetails
- Knowledge-of-own-factivity, the definition of surprise, and a solution to the Surprise Examination paradox.Alessandro Aldini, Samuel Allen Alexander & Pierluigi Graziani - forthcoming - CIFMA 2022.details
- Temporal interpretation of monadic intuitionistic quantifiers.Guram Bezhanishvili & Luca Carai - forthcoming - Review of Symbolic Logic:1-24.details
- 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
- Lvov-Warsaw School. Past and Present Logic.K. Gan-Krzywoszyńska & P. Leśniewski - forthcoming - History and Philosophy of Logic:1-7.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
- Permanence vs. termination: a logical analysis.Matteo Pascucci & Claudio E. A. Pizzi - forthcoming - Logique Et Analyse.details
- Jerzy Łoś Positional Calculus and the Origin of Temporal Logic.Marcin Tkaczyk & Tomasz Jarmużek - forthcoming - Logic and Logical Philosophy:1.details
- Discrete Duality for Nelson Algebras with Tense Operators.Aldo V. Figallo, Gustavo Pelaitay & Jonathan Sarmiento - 2023 - Studia Logica 111 (1):1-19.details
- Computational complexity of hybrid interval temporal logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.details
- Loop-Check Specification for a Sequent Calculus of Temporal Logic.Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė & Haroldas Giedra - 2022 - Studia Logica 110 (6):1507-1536.details
- Branching time and doomsday.Giacomo Andreoletti - 2022 - Ratio 35 (2):79-90.details
- Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.details
- In Search of Modal Hypodoxes using Paradox Hypodox Duality.Peter Eldridge-Smith - 2022 - Philosophia 50 (5):2457-2476.details
- Measuring Inconsistency in Some Logics with Tense Operators.John Grant - 2022 - Notre Dame Journal of Formal Logic 63 (3):415-440.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
- Non-classical Comparative Logic I: Standard Categorical Logic–from SLe to IFLe.Amer Amikhteh & Seyed Ahmad Mirsanei - 2021 - Logical Studies 12 (1):1-24.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 199: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
- A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.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 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.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
- Temporal location of events in language and (non) persistence of the past.Fabio Del Prete - 2020 - Critical Hermeneutics 4 (II):25-68.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: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
- Fibring Epistemic and Temporal Logics.Krzysztof Aleksander Krawczyk - 2019 - Logic and Logical Philosophy 29 (1):195.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
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|