- The nature of time.Ulrich Meyer - 2013 - Oxford: Clarendon Press.details
|
|
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.details
|
|
Instants and intervals.Charles L. Hamblin - 1972 - In J. T. Fraser, F. C. Haber & G. H. Mueller (eds.), The Study of Time. Springer Verlag. pp. 324--331.details
|
|
The classical decision problem.Egon Boerger - 1997 - New York: Springer. Edited by Erich Grädel & Yuri Gurevich.details
|
|
Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.details
|
|
Assessment Sensitivity: Relative Truth and its Applications.John MacFarlane - 2014 - Oxford: Oxford University Press.details
|
|
Tense and Time.Steven T. Kuhn - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 513-552.details
|
|
A Sound and Complete Proof System for QPTL.Tim French & Mark Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 127-147.details
|
|
Elements of symbolic logic.Hans Reichenbach - 1947 - London: Dover Publications.details
|
|
Branching Space-Times: Theory and Applications.Nuel Belnap, Thomas Müller & Tomasz Placek - 2020 - New York: Oxford University Press. Edited by Thomas Müller & Tomasz Placek.details
|
|
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.details
|
|
Tense Logic.Robert P. McArthur - 1976 - Dordrecht and Boston: Reidel.details
|
|
Logic and Philosophy of Time: Further Themes from Prior.Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.) - 2019 - Aalborg University Press.details
|
|
Undivided and indistinguishable histories in branching-time logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.details
|
|
Non-definability of the class of complete bundled trees.A. Zanardo, B. Barcellan & M. Reynolds - 1999 - Logic Journal of the IGPL 7 (1):125-136.details
|
|
Indistinguishability, Choices, and Logics of Agency.Alberto Zanardo - 2013 - Studia Logica 101 (6):1215-1236.details
|
|
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.details
|
|
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.details
|
|
A complete deductive-system for since-until branching-time logic.Alberto Zanardo - 1991 - Journal of Philosophical Logic 20 (2):131 - 148.details
|
|
Expressiveness and completeness of an interval tense logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.details
|
|
On some u,s-tense logics.Ming Xu - 1988 - Journal of Philosophical Logic 17 (2):181 - 202.details
|
|
Axiomatizing the monodic fragment of first-order temporal logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.details
|
|
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.details
|
|
Temporal Logic.Yde Venema - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 203–223.details
|
|
Modal and temporal logics for abstract space–time structures.Sara L. Uckelman & Joel Uckelman - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):673-681.details
|
|
Jerzy Łoś Positional Calculus and the Origin of Temporal Logic.Marcin Tkaczyk & Tomasz Jarmużek - forthcoming - Logic and Logical Philosophy:1.details
|
|
Indeterminist time and truth-value gaps.Richmond H. Thomason - 1970 - Theoria 36 (3):264-281.details
|
|
Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.details
|
|
Modal logics with linear alternative relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.details
|
|
Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.details
|
|
First-Order Definability of Transition Structures.Antje Rumberg & Alberto Zanardo - 2019 - Journal of Logic, Language and Information 28 (3):459-488.details
|
|
Intervals and tenses.Peter Roper - 1980 - Journal of Philosophical Logic 9 (4):451 - 469.details
|
|
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.details
|
|
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.details
|
|
Branching time, indeterminism and tense logic: Unveiling the Prior–Kripke letters.Thomas Ploug & Peter Øhrstrøm - 2012 - Synthese 188 (3):367-379.details
|
|
Is the semantics of branching structures adequate for non-metric ockhamist tense logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.details
|
|
A Generalized Manifold Topology for Branching Space-Times.Thomas Müller - 2013 - Philosophy of Science 80 (5):1089-1100.details
|
|
Decidability and incompleteness results for first-order temporal logics of linear time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.details
|
|
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
A Temporal Logic for Reasoning about Processes and Plans.Drew McDermott - 1982 - Cognitive Science 6 (2):101-155.details
|
|
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.details
|
|
Future contingents and relative truth.John MacFarlane - 2003 - Philosophical Quarterly 53 (212):321–336.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
Temporalising tableaux.Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Studia Logica 76 (1):91 - 134.details
|
|
Combining linear-time temporal logic with constructiveness and paraconsistency.Norihiro Kamide & Heinrich Wansing - 2010 - Journal of Applied Logic 8 (1):33-61.details
|
|
Interval semantics for tense logic: Some remarks. [REVIEW]I. L. Humberstone - 1979 - Journal of Philosophical Logic 8 (1):171 - 196.details
|
|
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.details
|
|
Reasoning About Knowledge: An Overview.Joseph Y. Halpern - 1988 - Journal of Symbolic Logic 53 (2):660-661.details
|
|
The decision problem for branching time logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.details
|
|