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)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

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.

Analytics

Added to PP
2016-06-30

Downloads
12 (#929,405)

6 months
2 (#668,348)

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