Abstract
In this paper we prove the pretabularity criteria for the logics of infinite depth in NExtK4. Then we use the criteria to resolve the problems of pretabular logics in NExtQ4 and prove that there is a continuum of pretabular logics in NExtQ4 just like NExtK4.
Similar content being viewed by others
References
Blok W. J.: Pretabular varieties of modal algebras. Studia Logica 39, 101–124 (1980)
Du, S., and H. K. Kang, On pretabular logics in NExtK4 (Part I), Studia Logica, 2013. doi:10.1007/s11225-013-9485-4.
Kang, H. K., Modality, selfreference and Gödel theorem, in H. K. Kang (ed.), Logic of Possible Worlds, Shanghai Translation Publishing House, Preface, Chinese, 1993.
Makinson D.C.: Some embedding theorems for modal logic. Notre Dame Journal of Formal Logic 12, 252–254 (1971)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Du, S. On Pretabular Logics in NExtK4 (Part II). Stud Logica 102, 931–954 (2014). https://doi.org/10.1007/s11225-013-9486-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9486-3