Incompleteness Results in Kripke Bundle Semantics

Mathematical Logic Quarterly 43 (4):485-498 (1997)

Abstract
Kripke bundle and C-set semantics are known as semantics which generalize standard Kripke semantics. In [4] 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 . Modal predicate logic Q-S4.1 is not Kripke bundle complete of the present paper). This is shown by using difference of Kripke bundle semantics and C-set semantics. In this paper, by using the same idea we show that incompleteness results in Kripke bundle semantics which are extended versions of [2]
Keywords Modal predicate logic  C‐set semantics  Intermediate predicate logic  Kripke boundle semantics
Categories (categorize this paper)
DOI 10.1002/malq.19970430405
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,509
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Kripke Bundle Semantics and C-Set Semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Kripke Bundle Semantics and C-Set Semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Incompleteness Results in Kripke Semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.

Analytics

Added to PP index
2013-12-01

Total views
19 ( #487,953 of 2,286,500 )

Recent downloads (6 months)
7 ( #157,750 of 2,286,500 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature