{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T08:42:24Z","timestamp":1698309744056},"reference-count":14,"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":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood and Kripke semantics. We also give a new proof for a known interpolation result of modal logic using an interpolation theorem of topological model theory.<\/jats:p>","DOI":"10.1002\/malq.19950410106","type":"journal-article","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T00:22:37Z","timestamp":1180830157000},"page":"49-64","source":"Crossref","is-referenced-by-count":5,"title":["Some Connections between Topological and Modal Logic"],"prefix":"10.1002","volume":"41","author":[{"given":"Kurt","family":"Engesser","sequence":"first","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.1007\/978-3-322-91274-9"},{"key":"e_1_2_1_3_2","first-page":"167","volume-title":"Handbook of Philosophical Logic","author":"van Benthem J.","year":"1986"},{"key":"e_1_2_1_4_2","volume-title":"Modal Logic and Classical Logic","author":"van Benthem J.","year":"1985"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272242"},{"key":"e_1_2_1_6_2","volume-title":"Model Theory","author":"Chang C. C.","year":"1973"},{"key":"e_1_2_1_7_2","first-page":"599","volume-title":"Proceedings of the Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics","author":"Chang C. C.","year":"1971"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02318022"},{"key":"e_1_2_1_10_2","first-page":"15","volume-title":"Proceedings of the third Scandinavian Logic Symposium, Uppsala 1973","author":"Fine K.","year":"1973"},{"key":"e_1_2_1_11_2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0097006","volume-title":"Topological Model Theory. Lecture Notes in Mathematics","author":"Flum J.","year":"1980"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059541"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19770230702"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274758"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410106","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T17:58:10Z","timestamp":1698256690000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410106"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410106","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}