Abstract
We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection 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.
References
Ågotnes, T., & Wáng, Y. N. (2017). Resolving distributed knowledge. Artificial Intelligence, 252, 1–21.
Areces, C., & Figueira, D. (2009). Which semantics for neighbourhood semantics? In Proceedings of the 21st International Jont Conference on Artifical Intelligence, IJCAI’ (pp. 671–676). San Francisco: Morgan Kaufmann Publishers Inc.
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2016). Justified belief and the topology of evidence. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.) Logic, Language, Information, and Computation (pp. 83–103). Berlin: Springer.
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–56).
Blum, C., & Zuber, C. I. (2016). Liquid democracy: Potentials, problems, and perspectives. Journal of Political Philosophy, 24(2), 162–182.
Brill, M. (2018). Interactive democracy. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS ’18 (pp. 1183–1187). Richland: International Foundation for Autonomous Agents and Multiagent Systems.
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 ’07 (pp. 92–101). New York: ACM.
Brown, M. A. (1988). On the logic of ability. Journal of Philosophical Logic, 17(1), 1–26.
José, 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–264). Kluwer Academic Publishers.
Chellas, B. (1980). Modal Logic: An Introduction. Cambridge: Cambridge university press.
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–150). Open Publishing Association.
Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophical Logic, 2, 1–46.
Fagin, R., Halpern, J.Y., Moses, Y., & Vardi, M. Y. (2003). Reasoning about Knowledge. Cambridge: MIT press.
Gerbrandy, J. (1999). Bisimulations on Planet Kripke: Phd thesis University of Amsterdam.
Goble, J. (2000). Multiplex semantics for deontic logic. Nordic Journal of Philosophical Logic, 5, 113–134.
Goble, L. (2004). Preference semantics for deontic logic. Part II: Multiplex models. Logique et Analyse, 185–188, 335–363.
Goble, L. (2005). A logic for deontic dilemmas. Journal of Applied Logic, 3, 461–483.
Goranko, V., & Passy, S. (1992). Using the universal modality Gains and questions. Journal of Logic and Computation, 2(1), 5–30.
Governatori, G., & Rotolo, A. (2005). On the axiomatisation of elgesem’s logic of agency and ability. Journal of Philosophical Logic, 34(4), 403–431.
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–104). Berlin: Open Publishing Association.
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–295). Berlin: Springer.
Hansen, H.H., Kupke, C., & Pacuit, E. (2009). Neighbourhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science, 5(2).
Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic Logic. Cambridge: MIT press.
Klein, D. H., & Marra, A. (2020). From oughts to goals: A logic for enkrasia. Studia Logica, 108, 85—128.
Kracht, M., & Wolter, F. (1999). Normal monomodal logics can simulate all others. The Journal of Symbolic Logic, 64(1), 99–138.
Lewis, D. (1973). Counterfactuals. Cambridge: Harvard University Press.
McKinsey, J. C. C~., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45, 141–191.
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.
Montague, R. (1970). Universal grammar. Theoria, 36, 373–398.
Moss, R., & Parikh, R. (1992). Topological reasoning and the logic of knowledge. In Y. Moses (Ed.) Proceedings of TARK IV. Morgan Kaufmann.
Pacuit, E. (2017). Neighbourhood semantics for modal logic: Springer.
Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 1(1), 149–166.
Pauly, M., & Parikh, R. (2003). Game logic - an overview. Studia Logica, 75, 165–182.
Roelofsen, F. (2007). Distributed knowledge. Journal of Applied Non-Classical Logics, 17(2), 255–273.
Scott, D. (1970). Advice on Modal Logic, (pp. 143–173). Netherlands: Springer.
Segerberg, K. (1971). An essay in classical modal logic.
van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A new game equivalence, its logic and algebra. Journal of Philosophical Logic, 48 (4), 649–684.
van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A propositional dynamic logic for instantial neighborhood semantics. Studia Logica, 107, 719–751.
van Benthem, J., & Bezhanisvilli, G. (2007). Modal logics of space. In Handbook of Spatial Logic (pp. 217–298). Springer.
van Benthem, J., & Pacuit, E. (2011). Dynamic logics of evidence-based beliefs. Studia Logica, 99(1), 61.
Van De Putte, F. (2017). That will do: Logics of deontic necessity and sufficiency. Erkenntnis, 82(3), 473–511.
Van De Putte, F., & Klein, D. (2018). Pointwise intersection in neighbourhood modal logic. In G. Bezhanishvili G. D’Agostino (Eds.) Advances in Modal Logic (AiML 12) (pp. 591–610). College Publications.
Van De Putte, F., & Klein, D. (2021). Pooling modalities and pointwise intersection: Axiomatization and decidability. Studia Logica, 109, 47–93.
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–240.
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 ’05 (p. 701708). New York: Association for Computing Machinery.
van Ditmarsch, H., van Der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic, volume 337 of Synthese Library. Springer.
Acknowledgements
We are greatly indebted to two anonymous referees for their incisive comments on earlier versions of this paper. Frederik Van De Putte’s research was funded by a Marie Skłodowska-Curie Fellowship (grant agreement ID: 795329), by a grant from the Research Foundation – Flanders (FWO-Vlaanderen), no. 12Q1918N, and by a grant from the Dutch Research Council (NWO), no. VI.Vidi.191.105. The work of Dominik Klein was partially supported by the Deutsche Forschungsgemeinschaft (DFG) and Agence Nationale de la Recherche (ANR) as part of the joint project Collective Attitude Formation [RO 4548/8-1], by DFG and Grantová Agentura České Republiky (GAČR) through the joint project From Shared Evidence to Group Attitudes [RO 4548/6-1], by DFG through the network grants Simulations of Social Scientific Inquiry [426833574] and Foundations, Applications and Theory of Inductive Logic [432308570], and by the National Science Foundation of China as part of the project Logics of Information Flow in Social Networks [17ZDA026].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Van De Putte, F., Klein, D. Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics. J Philos Logic 51, 485–523 (2022). https://doi.org/10.1007/s10992-021-09638-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-021-09638-0
Keywords
- Classical modal logics
- Pointwise intersection
- Pooling modalities
- Distributed information
- Information dynamics
- Power delegation