On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

Zofia Kostrzycka

doi:10.18778/0138-0680.44.3.4.02

Authors

Zofia Kostrzycka University of Technology, Luboszycka 3, 45-036, Opole, Poland

DOI:

https://doi.org/10.18778/0138-0680.44.3.4.02

Abstract

Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.

References

Benthem J. F. A. K. van, Humberstone I. I., Halldén-completeness by Gluing of Kripke Frames, Notre Dame Journal of Formal Logic 24, No 4 (1983), pp. 426–430.
Google Scholar DOI: https://doi.org/10.1305/ndjfl/1093870446

Byrd M., Ullrich D.,The extensions of BAlt3, Journal of Philosophical Logic 6 (1977), pp. 109–117.
Google Scholar DOI: https://doi.org/10.1007/BF00262052

Chagrov A., Zakharyaschev M., On Halldén-completeness of intermediate and modal logics, Bulletin of the Section of Logic 19:1(1990), pp. 21-23.
Google Scholar

Chagrov A., Zakharyaschev M., Modal Logic, Oxford Logic Guides 35 (1997).
Google Scholar

Halldén S., On the semantic non-completeness of certain Lewis calculi, The Journal of Symbolic Logic 16 (1951), pp. 127–129.
Google Scholar DOI: https://doi.org/10.2307/2266686

Jankov V. A., Conjunctively indecomposable formulas in propositional calculi, Izv, Akad. Nauk USSR Ser. Mat. 33 (1969), pp. 18–38.
Google Scholar DOI: https://doi.org/10.1070/IM1969v003n01ABEH000744

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).
Google Scholar

Kostrzycka Z., On interpolation and Halldén-completeness in NEXT(KTB), Bulletin of the Section of Logic 41:1/2 (2012), pp. 23–32.
Google Scholar

Kostrzycka Z., Miyazaki Y., Normal modal logics determined by aligned clusters, submitted.
Google Scholar

Kripke S. A., Semantical analysis of modal logic I., Zeitschr. f. math. Logik und Grundlagen d. Math. 9 (1963), pp. 67–96.
Google Scholar DOI: https://doi.org/10.1002/malq.19630090502

Lemmon E. J., A note on Halldén-incompleteness, Notre Dame Journal of Formal Logic, VII, No 4, (1966), pp. 296–300.
Google Scholar DOI: https://doi.org/10.1305/ndjfl/1093958745

McKinsey J. C. C., Systems of modal logics which are not unreasonable in the sense of Halldén, Journal of Symbolic Logic 18 (1953), pp. 109–113.
Google Scholar DOI: https://doi.org/10.2307/2268941

Miyazaki Y., Normal modal logics containing KTB with some finiteness conditions, Advances in Modal Logic 5 (2005), pp. 171–190.
Google Scholar

Rautenberg W., Splitting lattices of logics, Archiv für Mathematische Logik 20 (1980), pp. 155–159.
Google Scholar DOI: https://doi.org/10.1007/BF02021134

Schumm G. F., Some failures of interpolatin in modal logic, Notre Dame Journal of Formal Logic 27/1 (1986), pp. 108–110.
Google Scholar DOI: https://doi.org/10.1305/ndjfl/1093636529