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.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
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)
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
- Pretabular logics
- Finite depth
- Pointwise reductions