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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
S. Ghilardi, (1989), Presheaf semantics and independence results for some non-classical first-order logics, Archive for Mathematical Logic 29 125-136.
S. Ghilardi, (1991), Incompleteness results in Kripke semantics, Journal of Symbolic Logic 56,517-538.
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.
D.P. Skvortsov and V.B. Shehtman, (1993), Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Ann. Pure and Appl. Logic 69, 69-101.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Isoda, E. Kripke Bundle Semantics and C-set Semantics. Studia Logica 58, 395–401 (1997). https://doi.org/10.1023/A:1004930400566
Issue Date:
DOI: https://doi.org/10.1023/A:1004930400566