Skip to main content
SpringerLink
Log in

Kripke Incomplete Logics Containing KTB

  • Published:
Studia Logica Aims and scope Submit manuscript

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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

    Article  Google Scholar 

  • Boolos G., Sambin G. (1985) ‘An incomplete system of modal logic’. Journal of Philosophical Logic 14: 351–358

    Article  Google Scholar 

  • Fine K. (1974). ‘An incomplete logic containing S4’. Theoria 40: 23–29

    Article  Google Scholar 

  • Kripke S.A. (1963) ‘Semantical analysis of modal logic I’. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9: 61–96

    Article  Google Scholar 

  • Makinson D. (1969) ‘A normal modal caluculus between T and S4 without the finite model property’. Journal of Symbolic Logic 34(1): 35–38

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • van Benthem J. (1978) ‘Two simple incomplete modal logics’. Theoria 44: 25–37

    Article  Google Scholar 

  • van Benthem J. (1979) ‘Syntactic aspects of modal incompleteness theorems’. Theoria 45: 63–77

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Meme Media Laboratory, Hokkaido University, West8, North13, Kita-ku, Sapporo, Hokkaido, 060-8628, Japan

    Yutaka Miyazaki

Authors
  1. Yutaka Miyazaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yutaka Miyazaki.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-007-9056-7

Keywords

Search

Navigation