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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

Tabularity and Post-Completeness in Tense Logic.Qian Chen & M. A. Minghui - 2024 - Review of Symbolic Logic 17 (2):475-492.
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.Zhe Lin & Minghui Ma - 2022 - Studia Logica 110 (5):1255-1289.
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.Tadeusz Litak & Frank Wolter - 2005 - Studia Logica 81 (2):153-165.
Is the semantics of branching structures adequate for non-metric ockhamist tense logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.
Lattices of Finitely Alternative Normal Tense Logics.Minghui Ma & Qian Chen - 2021 - Studia Logica 109 (5):1093-1118.
The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion.Juan Carlos Sánchez Hernández - 2022 - Studia Logica 110 (3):745-784.
Finite Model Property in Weakly Transitive Tense Logics.Minghui Ma & Qian Chen - 2023 - Studia Logica 111 (2):217-250.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.

Analytics

Added to PP
2009-01-28

Downloads
86 (#244,751)

6 months
8 (#597,840)

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.
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.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references