Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

On Pretabular Logics in NExtK4 (Part I)

  • 128 Accesses

  • 1 Citations


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.


  1. Baker K. A.: Finite equational bases for finite algebras in a congruence distributive equational class. Advances in Mathematics 24, 207–243 (1977)

  2. Bellissima F.: Post complete and 0-axiomatizable modal logics. Annals of Pure and Applied Logic 47, 121–144 (1990)

  3. Blok W.J.: Pretabular varieties of modal algebras. Studia Logica 39, 101–124 (1980)

  4. Chagrov, A. V., Nontabularity-pretabularity, antitabularity, coantitabularity, in Algebraic and Logical Constructions, 1989, pp. 105–111.

  5. Chagrov, A. V., Modelling of computation process by means of propositional logic, Dissertation. Russian Academy of Science, Moscow (Russian) 1998.

  6. Chagrov A.V., Zakharyaschev M.: Modal Logic. Oxford University Press, Oxford (1997)

  7. Esakia L.L., Meskhi V.Y.: Five critical modal systems. Theoria 40, 52–60 (1977)

  8. Fine K.: An ascending chain of S4 logics. Theoria 40, 110–116 (1974)

  9. Maksimova L.L.: Pretabular extensions of Lewis S4. Algebra and Logic 14, 16–33 (1975)

  10. Rautenberg W.: Der verband der normalen verzweigten modallogiken. Mathematische Zeitschrift 156, 123–140 (1977)

Download references

Author information

Correspondence to Shan Du.

Rights and permissions

Reprints 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

Download citation


  • Pretabular logics
  • Finite depth
  • Pointwise reductions
  • Criteria