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)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2016-06-30

Downloads
9 (#958,729)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Johan Van Benthem
University of Amsterdam
Steve Kuhn
Georgetown University

References found in this work

No references found.

Add more references

Similar books and articles

Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
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.