Abstract
We consider the family of logics from NExt(KTB) which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.
Article PDF
Similar content being viewed by others
References
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, New York, 2001.
Byrd M., Ullrich D.: The extensions of BAlt 3, Journal of Philosophical Logic 6, 109–117 (1977)
Byrd M.: The extensions of BAlt 3—revisited. Journal of Philosophical Logic 7, 407–413 (1978)
Fine, K., An ascending chain of S4 logics, Theoria 40(2):110–116, 1974.
Jankov, V. A., On the Relation Between Deducibility in Intuitionistic Propositional Calculus and Finite Implicative Structures, Dokl. Akad. Nauk SSSR, vol. 151, 1963, pp. 1293–1294. English translation in Sov. Math., Dokl. 4, 1963, pp. 1203–1204, 1969.
Kostrzycka Z.: On non-compact logics in NEXT(KTB), Mathematical Logic Quarterly 54(6), 617–624 (2008)
Kostrzycka Z.: On a finitely axiomatizable Kripke incomplete logic containing KTB, Journal of Logic and Computation 19(6), 1199–1205 (2009)
Kostrzycka, Z., On Modal Systems in the Neighbourhood of the Brouwer Logic, Acta Universitatis Wratislaviensis No 3238, Logika 25, Wydawnictwo Uniwersytetu Wrocławskiego, Wrocław, 2010.
Kostrzycka Z.: On linear Brouwerian logics, Mathematical Logic Quarterly 60(4–5), 304–313 (2014)
Kostrzycka, Z., Correction of the article: On linear Brouwerian logics, manuscript is avaliable at http://z.kostrzycka.po.opole.pl/publikacje/correctionkostrzycka4.pdf. It will be submitted.
Miyazaki Y.: Normal modal logics containing KTB with some finiteness conditions, Advances in Modal Logic 5, 171–190 (2005)
Miyazaki Y.: Kripke incomplete logics containing KTB, Studia Logica 85(3), 311–326 (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kostrzycka, Z., Miyazaki, Y. Normal Modal Logics Determined by Aligned Clusters. Stud Logica 105, 1–11 (2017). https://doi.org/10.1007/s11225-016-9679-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9679-7