{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:23Z","timestamp":1740123023765,"version":"3.37.3"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T00:00:00Z","timestamp":1584403200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T00:00:00Z","timestamp":1584403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["795329"],"award-info":[{"award-number":["795329"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We establish completeness and the finite model property for logics featuring the <jats:italic>pooling modalities<\/jats:italic> that were introduced in Van De\u00a0Putte and Klein (Pooling modalities and pointwise intersection: semantics, expressivity, and applications). The definition of our canonical models combines standard techniques with a so-called \u201cpuzzle piece construction\u201d, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique\u2019s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.<\/jats:p>","DOI":"10.1007\/s11225-020-09901-6","type":"journal-article","created":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T16:32:38Z","timestamp":1584462758000},"page":"47-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6828-0107","authenticated-orcid":false,"given":"Frederik","family":"Van\u00a0De Putte","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7743-8399","authenticated-orcid":false,"given":"Dominik","family":"Klein","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,17]]},"reference":[{"key":"9901_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-662-52921-8_6","volume-title":"Logic, Language, Information, and Computation","author":"A Baltag","year":"2016","unstructured":"Baltag, A., N. Bezhanishvili, A. \u00d6zg\u00fcn, and S. Smets, Justified belief and the topology of evidence, in J. V\u00e4\u00e4n\u00e4nen, \u00c5. Hirvonen, and R. de\u00a0Queiroz, (eds.), Logic, Language, Information, and Computation, Springer, Berlin, 2016, pp. 83\u2013103."},{"key":"9901_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. De\u00a0Rijke, and Y. Venema. Modal Logic, Cambridge Tracts in Theoretical Computer Science, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9901_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B., Modal Logic: An Introduction, Cambridge university press, Cambridge, 1980."},{"issue":"4","key":"9901_CR4","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/BF00257488","volume":"3","author":"D Lewis","year":"1974","unstructured":"Lewis, D., Intensional logics without iterative axioms, Journal of Philosophical Logic 3(4): 457\u2013466, 1974.","journal-title":"Journal of Philosophical Logic"},{"key":"9901_CR5","doi-asserted-by":"crossref","unstructured":"Pacuit, E., Neighbourhood Semantics for Modal Logic. Springer, 2017.","DOI":"10.1007\/978-3-319-67149-9"},{"issue":"3","key":"9901_CR6","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF00293428","volume":"10","author":"A Urquhart","year":"1981","unstructured":"Urquhart, A., Decidability and the finite model property, Journal of Philosophical Logic 10(3): 367\u2013370, 1981.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9901_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J van Benthem","year":"2011","unstructured":"van Benthem, J., and E. Pacuit, Dynamic logics of evidence-based beliefs, Studia Logica 99(1): 61, 2011.","journal-title":"Studia Logica"},{"key":"9901_CR8","unstructured":"Van De\u00a0Putte, F., and D. Klein, Pooling modalities and pointwise intersection: Semantics, expressivity, and applications. Unpublished manuscript, under review. Available for download at https:\/\/www.clps.ugent.be\/sites\/default\/files\/publications\/Pooling%20Modalities%20Part%20I%20Semantics.pdf."},{"key":"9901_CR9","unstructured":"Van De\u00a0Putte, F., and D. Klein, Pointwise intersection in neighbourhood modal logic, in G. Bezhanishvili and G. D\u2019Agostino, (eds.), Advances in Modal Logic (AiML 12), College Publications, 2018, pp. 591\u2013610."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09901-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-020-09901-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09901-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,17]],"date-time":"2021-03-17T00:30:06Z","timestamp":1615941006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-020-09901-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,17]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["9901"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09901-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,3,17]]},"assertion":[{"value":"6 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 March 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}