Kripke Bundle Semantics and C-set Semantics
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.
Unable to display preview. Download preview PDF.
- S. Ghilardi, (1989), Presheaf semantics and independence results for some non-classical first-order logics, Archive for Mathematical Logic 29 125-136.Google Scholar
- S. Ghilardi, (1991), Incompleteness results in Kripke semantics, Journal of Symbolic Logic 56,517-538.Google Scholar
- V.B. Shehtman and D.P. Skvortsov, 1990, Semantics of non-classical first order predicate logics, in P. Petkov, ed., Mathematical Logic, Plenum Press, New York, 105-116.Google Scholar
- D.P. Skvortsov, On finite intersections of intermediate predicate logics, To appear in: Logic and algebra, Proc. Intern. Conf. on logic and algebra in memory of R.Magari, Siena April 1994.Google Scholar