Abstract
We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is a continuum of pretabular varieties of K4-algebras — those are the non-tabular varieties all of whose proper subvarieties are tabular — in contrast with Maksimova's result that there are only five pretabular varieties of S4-algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. Balbes and Ph. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
W. J. Blok, On the degree of incompleteness of modal logics and the covering relation. in the lattice of modal logics, to appear in the Annals of Mathematical Logic.
—, The free closure algebra on finitely many generators, Indagationes Mathematicae 39 (1977), pp. 362–379.
—, The lattice of modal logics, an algebraic investigation, to appear in the Journal of Symbolic Logic.
—, Varieties of interior algebras, dissertation, University of Amsterdam, 1976.
A. Day, Varieties of Heyting algebras I, manuscript.
L. Esakia and V. Meskhi, Five critical modal systems, Theoria 43 (1977), pp. 52–60.
B. Jónsson, Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21 (1967), pp. 110–121.
A. V. Kuznetsov, Certain properties of the lattice of varieties of pseudo-Boolean algebras, in: 11 th All-Union Algebraic Colloquium, Resume of Communications and papers (in Russian), Kishinev, 1971, pp. 255–256.
D. C. Makinson, Some embedding theorems for modal logic, Notre Dame Journal of Formal Logic 12 (1971), pp. 252–254.
L. L. Maksimova, Pretabular extensions of Lewis S4, Algebra i Logika 14 (1974), pp. 28–55.
—, Pretabular super-intuitionistic logics, Algebra i Logika 11 (1972), pp. 558–570.
W. Rautenberg, Der Verband der normalen verzweigten Modallogiken, Mathematische Zeitschrift 156 (1977), pp. 123–140.
K. Segerberg, An essay in classical modal logic, Philosophical Studies, Uppsala, 1972.
R. M. Solovay, Provability interpretation of modal logic, Israel Journal of Mathematics 25 (1976), pp. 287–304.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blok, W.J. Pretabular varieties of modal algebras. Stud Logica 39, 101–124 (1980). https://doi.org/10.1007/BF00370315
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370315