Abstract
It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □2 p → □3 p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □5 p → □6 p).
Similar content being viewed by others
References
Blok, W., ‘On the degree of incompleteness in modal logics and the covering relation in the lattice of modal logics’, Tech. Rep. 78-07, Department of Mathematics, University of Amsterdam, 1978.
Blok W. (1980) ‘The lattice of modal logics: an algebraic investigation’. Journal of Symbolic Logic 45: 221–236
Boolos G., Sambin G. (1985) ‘An incomplete system of modal logic’. Journal of Philosophical Logic 14: 351–358
Fine K. (1974). ‘An incomplete logic containing S4’. Theoria 40: 23–29
Kripke S.A. (1963) ‘Semantical analysis of modal logic I’. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9: 61–96
Makinson D. (1969) ‘A normal modal caluculus between T and S4 without the finite model property’. Journal of Symbolic Logic 34(1): 35–38
Miyazaki, Y., ‘Normal modal logics containing KTB with some finiteness conditions’, in Advances in Modal Logic, vol. 5, King’s College Publications, 2005, pp. 171–190.
Miyazaki, Y., ‘The structure of the lattice NEXT(KTB)’. Manuscript, presented in Trends in Logic III memoriam Andrzej Mostowski, Helena Rasiowa, Cecylia Rauszer in Warsaw and Ruciane-Nida, Poland, September 2005.
Thomason S.K. (1974) ‘An incomplete theorem in modal logic’. Theoria 40: 30–34
van Benthem J. (1978) ‘Two simple incomplete modal logics’. Theoria 44: 25–37
van Benthem J. (1979) ‘Syntactic aspects of modal incompleteness theorems’. Theoria 45: 63–77
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Miyazaki, Y. Kripke Incomplete Logics Containing KTB. Stud Logica 85, 303–317 (2007). https://doi.org/10.1007/s11225-007-9056-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9056-7