On some u,s-tense logics

Journal of Philosophical Logic 17 (2):181 - 202 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00247911

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Aspect and interval tense logic.Miguel Leith & Jim Cunningham - 2001 - Linguistics and Philosophy 24 (3):331-381.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
The logic of historical necessity as founded on two-dimensional modal tense logic.Lennart Åqvist - 1999 - Journal of Philosophical Logic 28 (4):329-369.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.

Analytics

Added to PP
2009-01-28

Downloads
74 (#215,284)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ming Xu
Wuhan University

Citations of this work

Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Adding a temporal dimension to a logic system.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references