Abstract
This paper partly answers the question “what a frame may be exactly like when it characterizes a pretabular logic in NExtK4”. We prove the pretabularity crieria for the logics of finite depth in NExtK4. In order to find out the criteria, we create two useful concepts—“pointwise reduction” and “invariance under pointwise reductions”, which will remain important in dealing with the case of infinite depth.
Similar content being viewed by others
References
Baker K. A.: Finite equational bases for finite algebras in a congruence distributive equational class. Advances in Mathematics 24, 207–243 (1977)
Bellissima F.: Post complete and 0-axiomatizable modal logics. Annals of Pure and Applied Logic 47, 121–144 (1990)
Blok W.J.: Pretabular varieties of modal algebras. Studia Logica 39, 101–124 (1980)
Chagrov, A. V., Nontabularity-pretabularity, antitabularity, coantitabularity, in Algebraic and Logical Constructions, 1989, pp. 105–111.
Chagrov, A. V., Modelling of computation process by means of propositional logic, Dissertation. Russian Academy of Science, Moscow (Russian) 1998.
Chagrov A.V., Zakharyaschev M.: Modal Logic. Oxford University Press, Oxford (1997)
Esakia L.L., Meskhi V.Y.: Five critical modal systems. Theoria 40, 52–60 (1977)
Fine K.: An ascending chain of S4 logics. Theoria 40, 110–116 (1974)
Maksimova L.L.: Pretabular extensions of Lewis S4. Algebra and Logic 14, 16–33 (1975)
Rautenberg W.: Der verband der normalen verzweigten modallogiken. Mathematische Zeitschrift 156, 123–140 (1977)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Du, S., Kang, H. On Pretabular Logics in NExtK4 (Part I). Stud Logica 102, 499–523 (2014). https://doi.org/10.1007/s11225-013-9485-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9485-4