T. Ågotnes Y.N. Wáng 2017 Resolving distributed knowledge Artif. Intell. 252 1–21 10.1016/j.artint.2017.07.002 N. Alechina P. Balbiani D. Shkatov 2012 Modal logics for reasoning about infinite unions and intersections of binary relations J. Appl. Non Class. Logics 22 4 275–294 10.1080/11663081.2012.705960 K.R. Apt E. Kopczynski D. Wojtczak 2017 On the Computational Complexity of Gossip Protocols Proceedings of the 26th IJCAI 765–771 10.24963/ijcai.2017/106 C. Areces B. ten Cate 2007 Hybrid Logics J. van Benthem P. Blackburn F. Wolter The Handbook of Modal Logic Elsevier
Amsterdam, The Netherlands
10.1016/S1570-2464(07)80017-6 P. Balbiani H. van Ditmarsch 2024 Towards Dynamic Distributed Knowledge A. Ciabattoni D. Gabelaia I. Sedlár Proceedings of Advances in Modal Logic College Publications 125–146 P. Balbiani D. Vakarelov 2003 PDL with Intersection of Programs: A Complete Axiomatization Journal of Applied Non-Classical Logics 13(3-4) 231–276 10.3166/jancl.13.231-276 A. Baltag R. Boddy S. Smets 2018 Group knowledge in interrogative epistemology H. van Ditmarsch G. Sandu Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Outstanding contributions to logic 12 Springer 131–164 10.1007/978-3-319-62864-6_5 A. Baltag L.S. Moss S. Solecki 1998 The Logic of Public Announcements, Common Knowledge, and Private Suspicions Proceedings of 7th TARK 43–56 10.1007/978-3-319-20451-2_38 A. Baltag S. Smets 2013 Protocols for belief merge: Reaching agreement via communication Log. J. IGPL 21 3 468–487 10.1093/JIGPAL/JZS049 A. Baltag S. Smets 2020 Learning What Others Know Proceedings of 23rd LPAR EPiC Series in Computing 73 90–119 10.29007/plm4 A. Baltag S. Smets 2024 Logics for Data Exchange and Communication Proceedings of the 15th Advances in Modal Logic Prague J. van Benthem S. Minica 2009 Toward a Dynamic Logic of Questions X. He J.F. Horty E. Pacuit Logic, Rationality, and Interaction. Proceedings of LORI 2009 LNCS 5834 Springer 27–41 10.1007/s10992-012-9233-7 P. Blackburn J. Seligman 1995 Hybrid languages Journal of Logic, Language, and Information 4 251–272 10.1007/BF01049415 R. Boddy 2014 Epistemic Issues and Group Knowledge ILLC, University of Amsterdam https://eprints.illc.uva.nl/id/document/2156/ Master of Logic Series MoL-2014-03 R. Carrington 2013 Learning and Knowledge in Social Networks ILLC, University of Amsterdam https://eprints.illc.uva.nl/id/document/2124/ Master of Logic Series MoL-2013-18 A. Castañeda H. van Ditmarsch D.A. Rosenblueth D.A. Velázquez 2023 Communication Pattern Logic: Epistemic and Topological Views Journal of Philosophical Logic 10.1007/s10992-023-09713-8 A. Castañeda H. van Ditmarsch D.A. Rosenblueth D.A. Velázquez 2023 Comparing the update expressivity of communication patterns and action models Electronic Proceedings in Theoretical Computer Science 379 157–172 10.4204/EPTCS.379.14 Z. Christoff N. Gratzl O. Roy 2022 Priority Merge and Intersection Modalities The Review of Symbolic Logic 15 1 165–196 10.1017/S1755020321000058 R. Danecki 1985 Nondeterministic propositional dynamic logic with intersection is decidable Computation Theory Springer 34–53 10.1007/3-540-16066-3_5 C. Degremont B. Löwe A. Witzel 2011 The synchronicity of dynamic epistemic logic Proceedings of 13th TARK ACM 145–152 10.1145/2000378.2000395 H. van Ditmarsch M. Gattinger 2024 You can only be lucky once: optimal gossip for epistemic goals Mathematical Structures in Computer Science 1–28 10.1017/S0960129524000082 H. van Ditmarsch W. van der Hoek B. Kooi 2007 Dynamic Epistemic Logic Synthese Library 337 Springer 10.1007/978-1-4020-5839-4 H. van Ditmarsch W. van der Hoek L.B. Kuijer 2020 The logic of gossiping Artificial Intelligence 286 103306 10.1016/j.artint.2020.103306 R. Fagin J.Y. Halpern M.Y. Vardi 1992 What Can Machines Know? On the Properties of Knowledge in Distributed Systems J. ACM 39 2 328–376 10.1145/128749.150945 R. Galimullin L.B. Kuijer 2024 Varieties of Distributed Knowledge Proceedings of the 15th Advances in Modal Logic Prague G. Gargov S. Passy 1990 A note on Boolean Modal Logic Mathematical Logic Plenum Press 299–309 10.1007/978-1-4613-0609-2_21 G. Gargov S. Passy T. Tinchev 1987 Modal environment for Boolean speculations Mathematical Logic and its Applications Plenum Press 253–263 10.1007/978-1-4613-0897-3_17 R. Goldbach 2015 Modelling Democratic Deliberation ILLC, University of Amsterdam https://eprints.illc.uva.nl/id/document/2216/ Master of Logic Series MoL-2015-05 V. Goranko 1996 Hierarchies of modal and temporal logics with reference pointers Journal of Logic, Language, and Information 5 1–24 10.1007/BF00215625 V. Goranko S. Passy 1992 Using the universal modality: gains and questions Journal of Logic and Computation 2 5–30 10.1093/logcom/2.1.5 J.Y. Halpern Y. Moses 1984 Knowledge and Common Knowledge in a Distributed Environment Proceedings of the 3rd PODC 50–61 10.1145/800222.806735 J.Y. Halpern Y. Moses 1990 Knowledge and Common Knowledge in a Distributed Environment Journal of the ACM 37(3) 549–587 10.1145/79147.79161 D. Harel 1985 Recurring dominoes: making the highly undecidable highly understandable North-Holland Mathematical Studies 102 51–71 10.1016/S0304-0208(08)73075-5 D. Harel D. Kozen J. Tiuryn 2000 Dynamic Logic MIT Press
Cambridge MA
10.7551/mitpress/2516.001.0001 Foundations of Computing Series F. Hayek 1945 The Use of Knowledge in Society American Economic Review 35 519–530 https://www.jstor.org/stable/1809376 R. Hilpinen 1977 Remarks on personal and impersonal knowledge Canadian Journal of Philosophy 7 1–9 10.1080/00455091.1977.10716173 W. van der Hoek J.-J.Ch. Meyer 1992 Making Some Issues of Implicit Knowledge Explicit Int. J. Found. Comput. Sci. 3 2 193–223 10.1142/S0129054192000139 M. Lange 2005 A lower complexity bound for propositional dynamic logic with intersection Advances in Modal Logic 5 College Publications 133–147 M. Lange C. Lutz 2005 2-Exp Time lower bounds for propositional dynamic logics with intersection Journal of Symbolic Logic 70 4 1072–1086 10.2178/jsl/1129642115 F. Massacci 2001 Decision procedures for expressive description logics with intersection, composition, converse of roles and role identity Proceedings of the 17th IJCAI Morgan Kaufmann 193–198 Y. Moses M.R. Tuttle 1988 Programming Simultaneous Actions Using Common Knowledge Algorithmica 3 121–169 10.1007/BF01762112 L.S. Moss 2015 Dynamic Epistemic Logic H. van Ditmarsch J.Y. Halpern W. van der Hoek B. Kooi Handbook of epistemic logic College Publications 261–312 E. Orłowska 1990 Kripke semantics for knowledge representation logics Studia Logica 49 255–272 10.1007/BF00935602 R. Parikh R. Ramanujam 1985 Distributed Processes and the Logic of Knowledge Proceedings of Logics of Programs Lecture Notes in Computer Science 193 256–268 10.1007/3-540-15648-8_21 R. Parikh R. Ramanujam 2003 A knowledge based semantics of messages Journal of Logic, Language and Information 12 453–467 10.1023/A:1025007018583 S. Passy T. Tinchev 1985 PDL with data constants Information Processing Letters 20 35–41 10.1016/0020-0190(85)90127-9 S. Passy T. Tinchev 1991 An essay in Combinatory Dynamic Logic Information and Computation 93 263–332 10.1016/0890-5401(91)90026-X J.A. Plaza 2007 Logics of Public Communications Synthese 158(2) 165–179 10.1007/s11229-007-9168-7 Reprint of Plaza's 1989 workshop paper M. de Rijke 1992 The modal logic of inequality Journal of Symbol Logic 57 566–584 10.2307/2275293 D.R. Swanson 1986 Undiscovered Public Knowledge The Library Quarterly: Information, Community, Policy 56 2 103–118 10.1086/601720 D. Vakarelov 1991 Modal logics for knowledge representation systems Theoretical Computer Science 90 433–456 D.A. Velázquez 2019 Una relación entre las lógicas modales y el enfoque topológico del cómputo distribuido Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, UNAM
Mexico
 D.A. Velázquez 2024 Pattern Models: Dynamic Epistemic Logics for Distributed Systems Instituto de investigaciones en matemáticas aplicadas y en sistemas, UNAM
Mexico
 D.A. Velázquez A. Castañeda D.A. Rosenblueth 2021 Communication Pattern Models: an Extension of Action Models for Dynamic-Network Distributed Systems Proceedings of TARK XVIII EPTCS 335 307–321 10.4204/EPTCS.335.29