Journal of Symbolic Logic 52 (3):874 (1987)

Authors
Johan Van Benthem
University of Amsterdam
Steve Kuhn
Georgetown University
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274376
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,109
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Philosophy of Science in the Netherlands.James W. McAllister - 1997 - International Studies in the Philosophy of Science 11 (2):191 – 204.

Add more citations

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

How can I increase my downloads?

Downloads

My notes