- Constructing Condensed Memories in Functorial Time.Shanna Dobson & Chris Fields - manuscriptdetails
|
|
Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.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. Springer. pp. 340-354.details
|
|
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.details
|
|
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.details
|
|
Combinations of tense and modality for predicate logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.details
|
|
(1 other version)A system of dynamic modal logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.details
|
|
Topological aspects of branching-time semantics.Michela Sabbadin & Alberto Zanardo - 2003 - Studia Logica 75 (3):271 - 286.details
|
|
(1 other version)Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.details
|
|
Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.details
|
|
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.details
|
|
Contrary to time conditionals in Talmudic logic.M. Abraham, D. M. Gabbay & U. Schild - 2012 - Artificial Intelligence and Law 20 (2):145-179.details
|
|
Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.details
|
|
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities.Ethan Brauer - 2020 - Erkenntnis:1-19.details
|
|
A Two Dimensional Tense-modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.details
|
|
Metric temporal reasoning with less than two clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.details
|
|
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.details
|
|
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.details
|
|
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.details
|
|
Characterizations of negative definability in modal logic.Marco Hollenberg - 1998 - Studia Logica 60 (3):357-386.details
|
|
Calendar Logic.Hans Jürgen Ohlbach & Dov Gabbay - 1998 - Journal of Applied Non-Classical Logics 8 (4):291-323.details
|
|
(1 other version)T × W Completeness.Franz von Kutschera - 1997 - Journal of Philosophical Logic 26 (3):241-250.details
|
|
Quantification over Sets of Possible Worlds in Branching-Time Semantics.Alberto Zanardo - 2006 - Studia Logica 82 (3):379-400.details
|
|
Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.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
|
|
On Hamblin's 15 Tense Theorem.Manfred Kudlek - 2010 - Journal of Applied Non-Classical Logics 20 (1):63-80.details
|
|
Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.details
|
|