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