{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,29]],"date-time":"2023-10-29T06:10:44Z","timestamp":1698559844419},"reference-count":8,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3603,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1997,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Kripke bundle and C\u2010set semantics are known as semantics which generalize standard Kripke semantics. In [4] and in [1, 2] it is shown that Kripke bundle and C\u2010set semantics are stronger than standard Kripke semantics. Also it is true that C\u2010set semantics for superintuitionistic logics is stronger than Kripke bundle semantics ([6]). Modal predicate logic Q\u2010S4.1 is not Kripke bundle complete ([3] \u2010 it is also yielded as a corollary to Theorem 6.1(a) of the present paper). This is shown by using difference of Kripke bundle semantics and C\u2010set semantics. In this paper, by using the same idea we show that incompleteness results in Kripke bundle semantics which are extended versions of [2].<\/jats:p>","DOI":"10.1002\/malq.19970430405","type":"journal-article","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T01:28:25Z","timestamp":1180488505000},"page":"485-498","source":"Crossref","is-referenced-by-count":2,"title":["Incompleteness Results in Kripke Bundle Semantics"],"prefix":"10.1002","volume":"43","author":[{"given":"Kazuaki","family":"Nagaoka","sequence":"first","affiliation":[]},{"given":"Eiko","family":"Isoda","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01620621"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274697"},{"key":"e_1_2_1_4_2","article-title":"Kripke bundle semantics and C\u2010set semantics","author":"Isoda E.","journal-title":"Studia Logica"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_9"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90210-5"},{"key":"e_1_2_1_7_2","series-title":"Proc. Intern. Conf. on Logic and Algebra in Memory of R. Magari, Siena April 1994","first-page":"667","volume-title":"Logic and Algebra","author":"Skvortsov D. P.","year":"1996"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370365"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01053065"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19970430405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19970430405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T02:07:51Z","timestamp":1698458871000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19970430405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1002\/malq.19970430405"],"URL":"https:\/\/doi.org\/10.1002\/malq.19970430405","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}