Studia Logica 109 (5):1093-1118 (2021)

Authors
Abstract
A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely many pretabular extensions of \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-021-09942-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
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

Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Time and modality.A. N. PRIOR - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
Papers on time and tense.A. Prior - 1970 - Revue Philosophique de la France Et de l'Etranger 160:500-501.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.

View all 10 references / Add more references

Citations of this work BETA

Tabularity and Post-Completeness in Tense Logic.Qian Chen & Minghui Ma - forthcoming - Review of Symbolic Logic:1-18.

Add more citations

Similar books and articles

The Structure of Lattices of Subframe Logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
Even More About the Lattice of Tense Logics.Marcus Kracht - 1992 - Archive for Mathematical Logic 31 (4):243-257.
The Lattice of Normal Modal Logics (Preliminary Report).Wolfgang Rautenberg - 1977 - Bulletin of the Section of Logic 6 (4):193-199.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.

Analytics

Added to PP index
2021-03-25

Total views
9 ( #950,282 of 2,504,842 )

Recent downloads (6 months)
2 ( #277,627 of 2,504,842 )

How can I increase my downloads?

Downloads

My notes