Studia Logica 65 (2):237-247 (2000)

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005219831286
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
Through your library

References found in this work BETA

An Ascending Chain of S4 Logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Canonical Formulas for K4. Part I: Basic Results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.
Logics Containing K4. Part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.
Incompleteness Results in Kripke Semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
The Predicate Modal Logic of Provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.

View all 7 references / Add more references

Citations of this work BETA

Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.

Add more citations

Similar books and articles


Added to PP index

Total views
32 ( #358,943 of 2,519,679 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,679 )

How can I increase my downloads?


My notes