Model theory for tense logics

Annals of Mathematical Logic 8 (1):185 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(75)90003-0

Links

PhilArchive



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

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

Completeness and Decidability of Tense Logics Closely Related to Logics Above K4.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.Tadeusz Litak & Frank Wolter - 2005 - Studia Logica 81 (2):153-165.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
A–theory for tense logicians.Josh Parsons - 2003 - Analysis 63 (1):4–6.
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.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
Prior on the semantics of modal and tense logic.M. J. Cresswell - 2016 - Synthese 193 (11).
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Tree formulations of tense logic.Jack Copeland - manuscript

Analytics

Added to PP
2014-01-17

Downloads
36 (#440,326)

6 months
8 (#351,566)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.
Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.

View all 17 citations / Add more citations

References found in this work

Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.
Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Now.A. N. Prior - 1968 - Noûs 2 (2):101-119.

View all 14 references / Add more references