Kripke Bundle Semantics and C-set Semantics
- Cite this article as:
- Isoda, E. Studia Logica (1997) 58: 395. doi:10.1023/A:1004930400566
- 24 Downloads
Kripke bundle  and C-set semantics   are known as semantics which generalize standard Kripke semantics. In  and in ,  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 .
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.