Incompleteness results in Kripke semantics
Journal of Symbolic Logic 56 (2):517-538 (1991)
| Abstract | By means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesEwa Orłowska (1990). Kripke Semantics for Knowledge Representation Logics. Studia Logica 49 (2):255 - 272.
Nobu-Yuki Suzuki (1999). Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. Studia Logica 63 (3):387-416.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Seiki Akama (1990). Subformula Semantics for Strong Negation Systems. Journal of Philosophical Logic 19 (2):217 - 226.
Wolfgang Rautenberg (1986). Applications of Weak Kripke Semantics to Intermediate Consequences. Studia Logica 45 (1):119 - 134.
Dmitrij Skvortsov (1998). On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica 61 (2):281-292.
Nobu-Yuki Suzuki (1993). Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics. Studia Logica 52 (1):73 - 94.
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
Eiko Isoda (1997). Kripke Bundle Semantics and C-Set Semantics. Studia Logica 58 (3):395-401.
Silvio Ghilardi (1992). Quantified Extensions of Canonical Propositional Intermediate Logics. Studia Logica 51 (2):195 - 214.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,748 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
