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 Author

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. 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. 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.

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

Halldén S., On the semantic non-completeness of certain Lewis calculi, The Journal of Symbolic Logic 16 (1951), pp. 127–129. 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. 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).

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

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

Kripke S. A., Semantical analysis of modal logic I., Zeitschr. f. math. Logik und Grundlagen d. Math. 9 (1963), pp. 67–96. 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. 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. 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.

Rautenberg W., Splitting lattices of logics, Archiv für Mathematische Logik 20 (1980), pp. 155–159. 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. DOI: https://doi.org/10.1305/ndjfl/1093636529