{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,29]],"date-time":"2023-10-29T06:10:45Z","timestamp":1698559845451},"reference-count":7,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3238,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1998,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The problem of completeness for predicate modal logics is still under investigation, although some results have been obtained in the last few years (cf. [2, 3, 4, 7]). As far as we know, the case of multimodal logics has not been addressed at all. In this paper, we study the combination of modal logics in terms of combining their semantics. We demonstrate by a simple example that in this sense predicate modal logics are not so easily manipulated as propositional ones: mixing two Kripke\u2010complete predicate modal logics (one with the Barcan formula, and the other without) results in a Kripke\u2010incomplete system.<\/jats:p>","DOI":"10.1002\/malq.19980440103","type":"journal-article","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T04:59:06Z","timestamp":1180587546000},"page":"45-49","source":"Crossref","is-referenced-by-count":0,"title":["Predicate Modal Logics Do Not Mix Very Well"],"prefix":"10.1002","volume":"44","author":[{"given":"Olivier","family":"Gasquet","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Catach L. Normal multi\u2010modal logics. In: Proc. Nat. Conf. on AI (AAAI '88) pp.491\u2013495."},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","first-page":"407","DOI":"10.3233\/FI-1995-2445","article-title":"A new incompleteness result in Kripke semantics","volume":"24","author":"Gasquet O.","year":"1995","journal-title":"Fundamenta Informatica"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01620621"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274697"},{"key":"e_1_2_1_6_2","volume-title":"An Introduction to Modal Logic","author":"Hughes G.","year":"1968"},{"key":"e_1_2_1_7_2","volume-title":"A Companion to Modal Logic","author":"Hughes G.","year":"1984"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_9"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19980440103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19980440103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T12:54:37Z","timestamp":1698497677000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19980440103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1002\/malq.19980440103"],"URL":"https:\/\/doi.org\/10.1002\/malq.19980440103","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}