- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
Studia Logica 65 (2):237-247 (2000)
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.My notes
Similar books and articles
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
An axiomatization of the modal theory of the veiled recession frame.W. J. Blok - 1979 - Studia Logica 38 (1):37 - 47.
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.Tatsuya Shimura - 1993 - Studia Logica 52 (1):23 - 40.
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
Analytics
Added to PP
2009-01-28
Downloads
39 (#410,103)
6 months
4 (#796,002)
2009-01-28
Downloads
39 (#410,103)
6 months
4 (#796,002)
Historical graph of downloads
Citations of this work
Kripke incompleteness of predicate extentions of Gabbay-de jongh's logic of the finite binary trees.Tatsuya Shimura - 2002 - Bulletin of the Section of Logic 31 (2):111-118.
Kripke completeness of predicate extensions of cofinal subframe logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.
References found in this work
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
Canonical formulas for k4. part I: Basic results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-pqwqt uwo