Abstract
A finitely alternative normal tense logic \(T_{n,m}\) 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 \(\Lambda (T_{1,1})\) is described. There are \(\aleph _0\) logics in \(\Lambda (T_{1,1})\) without the finite model property (FMP), and only one pretabular logic in \(\Lambda (T_{1,1})\). There are \(2^{\aleph _0}\) logics in \(\Lambda (T_{1,1})\) which are not finitely axiomatizable. For \(nm\ge 2\), there are \(2^{\aleph _0}\) logics in \(\Lambda (T_{n,m})\) without the FMP, and infinitely many pretabular extensions of \(T_{n,m}\).
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Bellissima, F., On the lattice of extensions of the modal logics \(\rm KAlt_n\), Archive for Mathematical Logic 27: 107–114, 1988.
van Benthem, J., The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Springer Netherlands, 1991.
Burgess, J. P., Basic tense logic, in: D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol. II, D. Reidel Publishing Company, 1984, pp. 89–133.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, Oxford, 2001.
Gabbay, D. M., On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part I, Israel Journal of Mathematics 10: 478–495, 1971.
Kracht, M., Even more about the lattice of tense logics, Archive for Mathematical Logic 31: 243–257, 1992.
Kracht, M., Tools and Techniques in Modal Logic, Elsevier, Amsterdam, 1999.
Prior, A. N., Time and Modality, Oxford University Press, Oxford, 1957.
Prior, A. N., Past, Present and Future, Oxford University Press, Oxford, 1967.
Prior, A. N., Papers on Time and Tense, Oxford University Press, Oxford, 1968.
Rautenberg, W., More about the lattice of tense logic, Bulletin of the Section of Logic 8: 21–25, 1979.
Segerberg, K., An Essay in Classical Modal Logic, Uppsala Universitet, 1971.
Thomason, S. K., Semantic analysis of tense logics, Journal of Symbolic Logic 37: 150–158, 1972.
Wolter, F., The finite model property in tense logic, The Journal of Symbolic Logic 60 (3): 757–774, 1995.
Acknowledgements
Thanks are given to the referee for a very insightful comment on the description of \(\Lambda (T_{1,1})\) and related problems which leads to a revision of the manuscript of this paper. This work was supported by Chinese National Funding of Social Sciences (Grant No. 18ZDA033).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Jacek Malinowski.
Rights and permissions
About this article
Cite this article
Ma, M., Chen, Q. Lattices of Finitely Alternative Normal Tense Logics. Stud Logica 109, 1093–1118 (2021). https://doi.org/10.1007/s11225-021-09942-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-021-09942-5