Abstract
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.
Similar content being viewed by others
References
Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, Oxford, 1997.
Fine, K., ‘An aseending chain of S4 logics’, Theoria 40 (1974), 110–116.
Fine, K., ‘Logics containing K4. Part II’, Journal of Symbolic Logic 50 (1985), 619–651.
Ghilardi, S., ‘Presheaf semantics and independence results for some non-classical first-order logics’, Archive for Mathematical Logic 29 (1989), 125–136.
Ghilardi, S., ‘Incompleteness results in Kripke semantics’, Journal of Symbolic Logic 56 (1991), 517–538.
Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London, 1986.
Isoda, E., and T. Shimura, ‘Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property’, Bulletin of Section of Logic 27 (1998), 182–189.
Montagna, F., ‘The predicate modal logic of provability’, Notre Dame Journal of Formal Logic 20 (1984), 179–189.
Shehtman, V. B., and D. P. Skvortsov, ‘Semantics of non-classical first order predicate logics’, in: Mathematical Logic, P. P. Petkov (ed.), Plenum Press, 1990, pp. 105–116.
Shimura, T., ‘Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas’, Studia Logica 52 (1993), 23–40.
Tanaka, Y., and H. Ono, ‘Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics’, Advances in Modal Logic '98, 1998.
Zakharyaschev, M. V., ‘Syntax and semantics of modal logics containing S4’, Algebra i Logika 27 (1988), 659–689. (English translation: Algebra and Logic 27 (1988), 408–428.)
Zakharyaschev, M. V., ‘Syntax and semantics of superintuitionistic logics’, Algebra i Logika 28 (1989), 402–429. (English translation: Algebra and Logic 28 (1989), 262–282.
Zakharyaschev, M. V., ‘Canonical formulas for K4. Part I: Basic results’, Journal of Symbolic Logic 57 (1992), 1377–1402.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shimura, T. Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. Studia Logica 65, 237–247 (2000). https://doi.org/10.1023/A:1005219831286
Issue Date:
DOI: https://doi.org/10.1023/A:1005219831286