On some u,s-tense logics
Journal of Philosophical Logic 17 (2):181 - 202 (1988)
Abstract
This article has no associated abstract. (fix it)DOI
10.1007/bf00247911
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.
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
68 (#177,915)
6 months
3 (#223,827)
2009-01-28
Downloads
68 (#177,915)
6 months
3 (#223,827)
Historical graph of downloads
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.
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.