The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Antology and Temporal Discourse
Journal of Symbolic Logic 52 (3):874 (1987)
Abstract
This article has no associated abstract. (fix it)Author Profiles
My notes
Analytics
Added to PP
2016-06-30
Downloads
9 (#958,729)
6 months
1 (#386,031)
2016-06-30
Downloads
9 (#958,729)
6 months
1 (#386,031)
Historical graph of downloads
Author Profiles
Citations of this work
Measure Semantics and Qualitative Semantics for Epistemic Modals.Wesley H. Holliday & Thomas F. Icard - 2013 - Proceedings of SALT 23:514-534.
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
The Logic and Topology of Kant’s Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - 2018 - Review of Symbolic Logic 11 (1):160-206.
Philosophy of Science in the Netherlands.James W. McAllister - 1997 - International Studies in the Philosophy of Science 11 (2):191 – 204.
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.Johan van Benthem - 1982 - Dordrecht, Netherland: 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.
