{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T20:02:54Z","timestamp":1750449774428},"reference-count":9,"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":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and the relation between this result and completeness with respect to Kripke models is investigated.<\/jats:p>","DOI":"10.1002\/malq.19920380144","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:51:26Z","timestamp":1180417886000},"page":"491-499","source":"Crossref","is-referenced-by-count":6,"title":["QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS"],"prefix":"10.1002","volume":"38","author":[{"given":"Geir","family":"Waagb\u00f8","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Waagb\u00f8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"e_1_2_1_4_2","first-page":"153","article-title":"Completeness of some quantified modal logics","volume":"21","author":"Garson J. W.","year":"1978","journal-title":"Logique et Analyse"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"e_1_2_1_6_2","first-page":"83","article-title":"Semantical considerations in modal logic","volume":"16","author":"Kripke S.","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"e_1_2_1_7_2","volume-title":"Introduction to Mathematical Logic","author":"Mendelson E.","year":"1964"},{"key":"e_1_2_1_8_2","volume-title":"An Essay in Classical Modal Logic","author":"Segerberg K.","year":"1971"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3272-8_3"},{"key":"e_1_2_1_10_2","unstructured":"Waagb\u00f8 G. Logics and Semantics for Knowledge and Belief. Diploma Thesis Department of Computer Science Norwegian Institute of Technology 1990."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380144","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:35:24Z","timestamp":1695846924000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380144"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380144","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}