Kripke bundle semantics and c-set semantics
Studia Logica 58 (3):395-401 (1997)
| Abstract |
Kripke bundle [3] and C-set semantics [1] [2] are known as semantics which generalize standard Kripke semantics. In [3] and in [1], [2] it is shown that Kripke bundle and C-set semantics are stronger than standard Kripke semantics. Also it is true that C-set semantics for superintuitionistic logics is stronger than Kripke bundle semantics [5].In this paper, we show that Q-S4.1 is not Kripke bundle complete via C-set models. As a corollary we can give a simple proof showing that C-set semantics for modal logics are stronger than Kripke bundle semantics.
|
| Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
| Categories | (categorize this paper) |
| DOI | 10.1023/A:1004930400566 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Similar books and articles
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Many-Valued and Kripke Semantics.Jean-Yves Béziau - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 89--101.
Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Subformula Semantics for Strong Negation Systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics.Nobu-Yuki Suzuki - 1997 - Studia Logica 59 (2):249-269.
Kripke Semantics for Knowledge Representation Logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
Incompleteness Results in Kripke Semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Analytics
Added to PP index
2009-01-28
Total views
43 ( #190,930 of 2,259,414 )
Recent downloads (6 months)
5 ( #333,041 of 2,259,414 )
2009-01-28
Total views
43 ( #190,930 of 2,259,414 )
Recent downloads (6 months)
5 ( #333,041 of 2,259,414 )
How can I increase my downloads?
Downloads
