Skip to main content
SpringerLink
Log in

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently, w.r.t. Kripke sheaves [8]), is described.

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

  1. Astretsov, S., ‘First-order definability in predicate modal logic’. Submitted to Journ. of Applied Non-classical Logic.

  2. Corsi, G., ‘Completeness theorem for Dummett's LC quantified and some of its extensions’, Studia Logica 51, No. 2 (1992), 317–335.

  3. Corsi G., and S. Ghilardi, ‘Directed frames’, Archive for Math. Logic 29, No. 1 (1989), 53–67.

  4. Ghilardi, S., ‘Presheaf semantics and independence results for some non-classical first-order logics’, Archive for Math. Logic 29, No. 2 (1989), 125–136.

  5. Ono, H., ‘Incompleteness of semantics for intermediate predicate logics. I: Kripke's semantics’, Proc. Jap. Acad. 49, No. 9 (1973), 711–713.

  6. Ono, H., ‘Model extension theorem and Craig's interpolation theorem for intermediate predicate logics’, Reports on Math. Logic 15 (1983), 41–58.

    Google Scholar 

  7. Ono, H., ‘On finite linear intermediate predicate logics’, Studia Logica 47, No. 4 (1988), 391–399.

  8. Shehtman V., and D. Skvortsov, ‘Semantics of non-classical first order predicate logics’, in P. Petkov, (ed.), Mathematical Logic, Proc. of Summer school and conference in math. logic Heyting'88, Plenum Press, N.Y., 1990, pp. 105–116.

  9. Skvortsov, D., ‘On the predicate logics of finite Kripke frames’, Studia Logica 54, No. 1 (1995), 79–88.

    Article  Google Scholar 

  10. Takano, M., ‘Ordered sets R and Q as bases of Kripke models’, Studia Logica 46, No. 2 (1987), 137–148.

    Article  Google Scholar 

  11. Umezawa, T., ‘On logics intermediate between intuitionistic and classical predicate logics’, Journal of Symbolic Logic 24, No. 2 (1959), 141–153.

    Google Scholar 

  12. Yokota, S., ‘Axiomatization of the first-order intermediate logics of bounded Kripkean heights, I.' Zeitschr. für math. Logik und Grundl. der Math. 35, No. 5 (1989), 415–421.

Download references

Author information

Authors and Affiliations

  1. All-Russian Institute of Scientific and Technical Information, Molodogvardejskaja 22, korp.3, kv.29, 121351, Moscow, Russia

    Dmitrij Skvortsov

Authors
  1. Dmitrij Skvortsov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dmitrij Skvortsov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Skvortsov, D. On the Predicate Logic of Linear Kripke Frames and some of its Extensions. Stud Logica 81, 261–282 (2005). https://doi.org/10.1007/s11225-005-3706-4

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-005-3706-4

Keywords

Search

Navigation