{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:11Z","timestamp":1740123911156,"version":"3.37.3"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"dfg\/anr","award":["RO 4548\/8-1"],"award-info":[{"award-number":["RO 4548\/8-1"]}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["795329"],"award-info":[{"award-number":["795329"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003130","name":"Research Foundation Flanders","doi-asserted-by":"crossref","award":["12Q1918N"],"award-info":[{"award-number":["12Q1918N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003246","name":"Dutch Research Council","doi-asserted-by":"crossref","award":["VI.Vidi.191.105"],"award-info":[{"award-number":["VI.Vidi.191.105"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001824","name":"gacr","doi-asserted-by":"crossref","award":["RO 4548\/6-1"],"award-info":[{"award-number":["RO 4548\/6-1"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study classical modal logics with <jats:italic>pooling modalities<\/jats:italic>, i.e. unary modal operators that allow one to express properties of sets obtained by the <jats:italic>pointwise intersection<\/jats:italic> of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a particular focus on relational semantics), establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.<\/jats:p>","DOI":"10.1007\/s10992-021-09638-0","type":"journal-article","created":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T04:26:47Z","timestamp":1641529607000},"page":"485-523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6828-0107","authenticated-orcid":false,"given":"Frederik","family":"Van De 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":[[2022,1,7]]},"reference":[{"key":"9638_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2017.07.002","volume":"252","author":"T \u00c5gotnes","year":"2017","unstructured":"\u00c5gotnes, T., & W\u00e1ng, Y. N. (2017). Resolving distributed knowledge. Artificial Intelligence, 252, 1\u201321.","journal-title":"Artificial Intelligence"},{"key":"9638_CR2","unstructured":"Areces, C., & Figueira, D. (2009). Which semantics for neighbourhood semantics? In Proceedings of the 21st International Jont Conference on Artifical Intelligence, IJCAI\u2019 (pp. 671\u2013676). San Francisco: Morgan Kaufmann Publishers Inc."},{"key":"9638_CR3","doi-asserted-by":"crossref","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., & Smets, S. (2016). Justified belief and the topology of evidence. In J. V\u00e4\u00e4n\u00e4nen, \u00c5. Hirvonen, & R. de Queiroz (Eds.) Logic, Language, Information, and Computation (pp. 83\u2013103). Berlin: Springer.","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"9638_CR4","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge (pp. 43\u201356)."},{"issue":"2","key":"9638_CR5","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1111\/jopp.12065","volume":"24","author":"C Blum","year":"2016","unstructured":"Blum, C., & Zuber, C. I. (2016). Liquid democracy: Potentials, problems, and perspectives. Journal of Political Philosophy, 24(2), 162\u2013182.","journal-title":"Journal of Political Philosophy"},{"key":"9638_CR6","unstructured":"Brill, M. (2018). Interactive democracy. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS \u201918 (pp. 1183\u20131187). Richland: International Foundation for Autonomous Agents and Multiagent Systems."},{"key":"9638_CR7","doi-asserted-by":"crossref","unstructured":"Broersen, J., Herzig, A., & Troquard, N. (2007). A normal simulation of coalition logic and an epistemic extension. In D. Samet (Ed.) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK \u201907 (pp. 92\u2013101). New York: ACM.","DOI":"10.1145\/1324249.1324264"},{"issue":"1","key":"9638_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"MA Brown","year":"1988","unstructured":"Brown, M. A. (1988). On the logic of ability. Journal of Philosophical Logic, 17(1), 1\u201326.","journal-title":"Journal of Philosophical Logic"},{"key":"9638_CR9","unstructured":"Jos\u00e9, M., Carmo, C. L. M., & Jones, A. J. I. (2002). Deontic logic and contrary-to-duties. In D. M. Gabay F. Guenther (Eds.) Handbook of Philosophical Logic. 2nd edn., (Vol. 8 pp. 147\u2013264). Kluwer Academic Publishers."},{"key":"9638_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B. (1980). Modal Logic: An Introduction. Cambridge: Cambridge university press."},{"key":"9638_CR11","doi-asserted-by":"crossref","unstructured":"Christoff, Z., & Grossi, D. (2017). Binary voting with delegable proxy: An analysis of liquid democracy. In J. Lang (Ed.) Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, volume 251 of Electronic Proceedings in Theoretical Computer Science (pp. 134\u2013150). Open Publishing Association.","DOI":"10.4204\/EPTCS.251.10"},{"key":"9638_CR12","first-page":"1","volume":"2","author":"D Elgesem","year":"1997","unstructured":"Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophical Logic, 2, 1\u201346.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"9638_CR13","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., & Vardi, M. Y. (2003). Reasoning about Knowledge. Cambridge: MIT press."},{"key":"9638_CR14","unstructured":"Gerbrandy, J. (1999). Bisimulations on Planet Kripke: Phd thesis University of Amsterdam."},{"key":"9638_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1080\/08066200050505788","volume":"5","author":"J Goble","year":"2000","unstructured":"Goble, J. (2000). Multiplex semantics for deontic logic. Nordic Journal of Philosophical Logic, 5, 113\u2013134.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"9638_CR16","first-page":"335","volume":"185\u2013188","author":"L Goble","year":"2004","unstructured":"Goble, L. (2004). Preference semantics for deontic logic. Part II: Multiplex models. Logique et Analyse, 185\u2013188, 335\u2013363.","journal-title":"Logique et Analyse"},{"key":"9638_CR17","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/j.jal.2005.04.004","volume":"3","author":"L Goble","year":"2005","unstructured":"Goble, L. (2005). A logic for deontic dilemmas. Journal of Applied Logic, 3, 461\u2013483.","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"9638_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., & Passy, S. (1992). Using the universal modality Gains and questions. Journal of Logic and Computation, 2(1), 5\u201330.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"9638_CR19","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s10992-004-6368-1","volume":"34","author":"G Governatori","year":"2005","unstructured":"Governatori, G., & Rotolo, A. (2005). On the axiomatisation of elgesem\u2019s logic of agency and ability. Journal of Philosophical Logic, 34(4), 403\u2013431.","journal-title":"Journal of Philosophical Logic"},{"key":"9638_CR20","doi-asserted-by":"crossref","unstructured":"Hansen, H. H., & Kupke, C. (2015). Weak completeness of coalgebraic dynamic logics. In R. Matthes M. Mio (Eds.) Proceedings Tenth International Workshop on Fixed Points in Computer Science, volume 191 of Electronic Proceedings in Theoretical Computer Science (pp. 90\u2013104). Berlin: Open Publishing Association.","DOI":"10.4204\/EPTCS.191.9"},{"key":"9638_CR21","doi-asserted-by":"crossref","unstructured":"Hansen, H. H., Kupke, C., & Leal, R. A. (2014). Strong completeness for iteration-free coalgebraic dynamic logics. In J. Diaz, I. Lanese, & D. Sangiorgi (Eds.) Theoretical Computer Science (pp. 281\u2013295). Berlin: Springer.","DOI":"10.1007\/978-3-662-44602-7_22"},{"key":"9638_CR22","doi-asserted-by":"crossref","unstructured":"Hansen, H.H., Kupke, C., & Pacuit, E. (2009). Neighbourhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science, 5(2).","DOI":"10.2168\/LMCS-5(2:2)2009"},{"key":"9638_CR23","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic Logic. Cambridge: MIT press.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"9638_CR24","doi-asserted-by":"crossref","unstructured":"Klein, D. H., & Marra, A. (2020). From oughts to goals: A logic for enkrasia. Studia Logica, 108, 85\u2014128.","DOI":"10.1007\/s11225-019-09854-5"},{"issue":"1","key":"9638_CR25","doi-asserted-by":"publisher","first-page":"99","DOI":"10.2307\/2586754","volume":"64","author":"M Kracht","year":"1999","unstructured":"Kracht, M., & Wolter, F. (1999). Normal monomodal logics can simulate all others. The Journal of Symbolic Logic, 64(1), 99\u2013138.","journal-title":"The Journal of Symbolic Logic"},{"key":"9638_CR26","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Cambridge: Harvard University Press."},{"key":"9638_CR27","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"JCC~ McKinsey","year":"1944","unstructured":"McKinsey, J. C. C~., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45, 141\u2013191.","journal-title":"Annals of Mathematics"},{"key":"9638_CR28","unstructured":"McNamara, P. (2018). Toward a systematization of logics for monadic and dyadic agency & ability (preliminary version). In Proceedings for Deontic Logic and Normative Systems (Deon 2018). Utrecht: College Publications."},{"key":"9638_CR29","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R. (1970). Universal grammar. Theoria, 36, 373\u2013398.","journal-title":"Theoria"},{"key":"9638_CR30","unstructured":"Moss, R., & Parikh, R. (1992). Topological reasoning and the logic of knowledge. In Y. Moses (Ed.) Proceedings of TARK IV. Morgan Kaufmann."},{"key":"9638_CR31","doi-asserted-by":"crossref","unstructured":"Pacuit, E. (2017). Neighbourhood semantics for modal logic: Springer.","DOI":"10.1007\/978-3-319-67149-9"},{"issue":"1","key":"9638_CR32","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"1","author":"M Pauly","year":"2002","unstructured":"Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 1(1), 149\u2013166.","journal-title":"Journal of Logic and Computation"},{"key":"9638_CR33","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1027354826364","volume":"75","author":"M Pauly","year":"2003","unstructured":"Pauly, M., & Parikh, R. (2003). Game logic - an overview. Studia Logica, 75, 165\u2013182.","journal-title":"Studia Logica"},{"issue":"2","key":"9638_CR34","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3166\/jancl.17.255-273","volume":"17","author":"F Roelofsen","year":"2007","unstructured":"Roelofsen, F. (2007). Distributed knowledge. Journal of Applied Non-Classical Logics, 17(2), 255\u2013273.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9638_CR35","first-page":"143","volume-title":"Advice on Modal Logic","author":"D Scott","year":"1970","unstructured":"Scott, D. (1970). Advice on Modal Logic, (pp. 143\u2013173). Netherlands: Springer."},{"key":"9638_CR36","unstructured":"Segerberg, K. (1971). An essay in classical modal logic."},{"issue":"4","key":"9638_CR37","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10992-018-9489-7","volume":"48","author":"J van Benthem","year":"2019","unstructured":"van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A new game equivalence, its logic and algebra. Journal of Philosophical Logic, 48 (4), 649\u2013684.","journal-title":"Journal of Philosophical Logic"},{"key":"9638_CR38","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s11225-018-9825-5","volume":"107","author":"J van Benthem","year":"2019","unstructured":"van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A propositional dynamic logic for instantial neighborhood semantics. Studia Logica, 107, 719\u2013751.","journal-title":"Studia Logica"},{"key":"9638_CR39","doi-asserted-by":"crossref","unstructured":"van Benthem, J., & Bezhanisvilli, G. (2007). Modal logics of space. In Handbook of Spatial Logic (pp. 217\u2013298). Springer.","DOI":"10.1007\/978-1-4020-5587-4_5"},{"issue":"1","key":"9638_CR40","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., & Pacuit, E. (2011). Dynamic logics of evidence-based beliefs. Studia Logica, 99(1), 61.","journal-title":"Studia Logica"},{"key":"9638_CR41","doi-asserted-by":"crossref","unstructured":"Van De Putte, F. (2017). That will do: Logics of deontic necessity and sufficiency. Erkenntnis, 82(3), 473\u2013511.","DOI":"10.1007\/s10670-016-9829-3"},{"key":"9638_CR42","unstructured":"Van De Putte, F., & Klein, D. (2018). Pointwise intersection in neighbourhood modal logic. In G. Bezhanishvili G. D\u2019Agostino (Eds.) Advances in Modal Logic (AiML 12) (pp. 591\u2013610). College Publications."},{"key":"9638_CR43","doi-asserted-by":"crossref","unstructured":"Van De Putte, F., & Klein, D. (2021). Pooling modalities and pointwise intersection: Axiomatization and decidability. Studia Logica, 109, 47\u201393.","DOI":"10.1007\/s11225-020-09901-6"},{"key":"9638_CR44","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0165-4896(99)00013-X","volume":"38","author":"W van der HOek","year":"1999","unstructured":"van der HOek, W., van Linder, B., & Meyer, J.-J. (1999). Group knowledge is not always distributed (neither is it always implicit). Mathematical social sciences, 38, 215\u2013240.","journal-title":"Mathematical social sciences"},{"key":"9638_CR45","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., & Wooldridge, M. (2005). On the dynamics of delegation, cooperation, and control: A logical account. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201905 (p. 701708). New York: Association for Computing Machinery.","DOI":"10.1145\/1082473.1082580"},{"key":"9638_CR46","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van Der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic, volume 337 of Synthese Library. Springer.","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-021-09638-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-021-09638-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-021-09638-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T08:30:55Z","timestamp":1653640255000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-021-09638-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,7]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9638"],"URL":"https:\/\/doi.org\/10.1007\/s10992-021-09638-0","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2022,1,7]]},"assertion":[{"value":"3 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 September 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}