Journal of Symbolic Logic 52 (3):874 (1987)
Authors |
|
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2274376 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Measure Semantics and Qualitative Semantics for Epistemic Modals.Wesley H. Holliday & Thomas F. Icard - 2013 - Proceedings of SALT 23:514-534.
Philosophy of Science in the Netherlands.James W. McAllister - 1997 - International Studies in the Philosophy of Science 11 (2):191 – 204.
The Logic and Topology of Kant’s Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - 2018 - Review of Symbolic Logic 11 (1):160-206.
Defining a Relativity-Proof Notion of the Present via Spatio-temporal Indeterminism.Thomas Müller - 2020 - Foundations of Physics 50 (6):644-664.
The Logic and Topology of Kant's Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - manuscript
Similar books and articles
Van Benthem Johan. The Logic of Time. A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse. Second Edition of LII 874. Synthese Library, Vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, Xxii + 280 Pp. [REVIEW]Steven T. Kuhn - 1992 - Journal of Symbolic Logic 57 (3):1137-1138.
Van Benthem J. F. A. K.. The Logic of Time. A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse. Synthese Library, Vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, Xvi + 260 Pp. [REVIEW]Daniele Mundici - 1987 - Journal of Symbolic Logic 52 (3):874-878.
The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse.J. F. A. K. van Benthem - 1991 - Kluwer Academic Publishers.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Logics of Temporal-Epistemic Actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.
Bounded Linear-Time Temporal Logic: A Proof-Theoretic Investigation.Norihiro Kamide - 2012 - Annals of Pure and Applied Logic 163 (4):439-466.
The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Bisimulations for Temporal Logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
A Relational Model For Temporal Logic.B. von Karger & R. Berghammer - 1998 - Logic Journal of the IGPL 6 (2):157-173.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Distinguishing Between Events and Times: Some Evidence From the Semantics of Then. [REVIEW]SheilaR Glasbey - 1993 - Natural Language Semantics 1 (3):285-312.
An Infinitary Variant of Metric Temporal Logic Over Dense Time Domains.S. Baratella - 2004 - Mathematical Logic Quarterly 50 (3):249.
Reasoning About Actions in Dynamic Linear Time Temporal Logic.L. Giordano, A. Martelli & C. Schwind - 2001 - Logic Journal of the IGPL 9 (2):273-288.
A Note on Unbounded Metric Temporal Logic Over Dense Time Domains.Stefano Baratella & Andrea Masini - 2006 - Mathematical Logic Quarterly 52 (5):450-456.
Analytics
Added to PP index
2016-06-30
Total views
7 ( #1,006,288 of 2,411,486 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )
2016-06-30
Total views
7 ( #1,006,288 of 2,411,486 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )
How can I increase my downloads?
Downloads