@article(Alur2002,
 author       = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman},
 year         = {2002},
 title        = {Alternating-Time Temporal Logic},
 journal      = {Journal of the ACM},
 volume       = {49},
 number       = {5},
 pages        = {672--713},
 doi          = {10.1145/585265.585270},
)
@article(BalbianiDG22,
 author       = {Philippe Balbiani and Hans van Ditmarsch and Fern{\'a}ndez Gonz{\'a}lez, Sa{\'u}l},
 year         = {2022},
 title        = {Asynchronous Announcements},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {23},
 number       = {2},
 eid          = {10},
 doi          = {10.1145/3481806},
)
@incollection(baltagetal:1998,
 author       = {Alexandru Baltag and Lawrence S. Moss and S{\l}awomir Solecki},
 year         = {1998},
 title        = {The Logic of Public Announcements, Common Knowledge, and Private Suspicions},
 editor       = {Itzhak Gilboa},
 booktitle    = {Theoretical Aspects of Rationality and Knowledge: Proceedings of the Seventh Conference (TARK~1998)},
 publisher    = {Morgan Kaufmann},
 pages        = {43--56},
 url          = {http://tark.org/proceedings/tark_jul22_98/p43-baltag.pdf},
)
@article(jfaketal.JPL:2009,
 author       = {Johan van Benthem and Jelle Gerbrandy and Tomohiro Hoshi and Eric Pacuit},
 year         = {2009},
 title        = {Merging Frameworks for Interaction},
 journal      = {Journal of Philosophical Logic},
 volume       = {38},
 number       = {5},
 pages        = {491--526},
 doi          = {10.1007/s10992-008-9099-x},
)
@article(BiranMZ90,
 author       = {Ofer Biran and Shlomo Moran and Shmuel Zak},
 year         = {1990},
 title        = {A combinatorial characterization of the distributed 1-solvable tasks},
 journal      = {Journal of Algorithms},
 volume       = {11},
 number       = {3},
 pages        = {420--440},
 doi          = {10.1016/0196-6774(90)90020-F},
)
@incollection(degremontetal:2011,
 author       = {C{\'e}dric D{\'e}gremont and Benedikt L{\"o}we and Andreas Witzel},
 year         = {2011},
 title        = {The Synchronicity of Dynamic Epistemic Logic},
 editor       = {Krzysztof R. Apt},
 booktitle    = {TARK~XIII, Theoretical Aspects of Rationality and Knowledge: Proceedings of the Thirteenth Conference (TARK~2011)},
 publisher    = {Association for Computing Machinery},
 pages        = {145--152},
 doi          = {10.1145/2000378.2000395},
)
@incollection(hvdetal.aiml:2022,
 author       = {Hans van Ditmarsch and Krisztina Fruzsa and Roman Kuznets},
 year         = {2022},
 title        = {A New Hope},
 editor       = {Fern{\'a}ndez-Duque, David and Alessandra Palmigiano and Sophie Pinchinat},
 booktitle    = {Advances in Modal Logic},
 volume       = {14},
 publisher    = {College Publications},
 pages        = {349--369},
)
@article(goubaultetalpostdali:2021,
 author       = {Hans van Ditmarsch and {\'E}ric Goubault and Marijana Lazi{\'c} and J{\'e}r{\'e}my Ledent and Sergio Rajsbaum},
 year         = {2021},
 title        = {A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {121},
 eid          = {100662},
 doi          = {10.1016/j.jlamp.2021.100662},
)
@incollection(hvdetal.simpl:2022,
 author       = {Hans van Ditmarsch and {\'E}ric Goubault and J{\'e}r{\'e}my Ledent and Sergio Rajsbaum},
 year         = {2022},
 title        = {Knowledge and Simplicial Complexes},
 editor       = {Bj{\"o}rn Lundgren and Nu{\~n}ez Hern{\'a}ndez, Nancy Abigail},
 booktitle    = {Philosophy of Computing: Themes from IACAP~2019},
 series       = {Philosophical Studies Series},
 volume       = {143},
 publisher    = {Springer},
 pages        = {1--50},
 doi          = {10.1007/978-3-030-75267-5_1},
)
@incollection(handbookintro:2015,
 author       = {Hans van Ditmarsch and Joseph Y. Halpern and Wiebe van der Hoek and Barteld Kooi},
 year         = {2015},
 title        = {An Introduction to Logics of Knowledge and Belief},
 editor       = {Hans van Ditmarsch and Joseph Y. Halpern and Wiebe van der Hoek and Barteld Kooi},
 booktitle    = {Handbook of Epistemic Logic},
 publisher    = {College Publications},
 pages        = {1--51},
)
@book(hvdetal.del:2007,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 series       = {Synthese Library},
 volume       = {337},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@techreport(hvdetal.deadalive:2022,
 author       = {Hans van Ditmarsch and Roman Kuznets},
 year         = {2023},
 title        = {Wanted Dead or Alive: Epistemic logic for impure simplicial complexes},
 type         = {Eprint},
 number       = {2103.03032},
 institution  = {arXiv},
 doi          = {10.48550/arXiv.2103.03032},
 note         = {Accepted to \emph{Journal of Logic and Computation}},
)
@incollection(dixonetal.handbook:2015,
 author       = {Clare Dixon and Cl{\'a}udia Nalon and Ram Ramanujam},
 year         = {2015},
 title        = {Knowledge and Time},
 editor       = {Hans van Ditmarsch and Joseph Y. Halpern and Wiebe van der Hoek and Barteld Kooi},
 booktitle    = {Handbook of Epistemic Logic},
 publisher    = {College Publications},
 pages        = {205--259},
)
@incollection(vEijck07,
 author       = {Jan van Eijck},
 year         = {2007},
 title        = {{DEMO}~--- {A} Demo of Epistemic Modelling},
 editor       = {Johan van Benthem and Dov Gabbay and Benedikt L{\"o}we},
 booktitle    = {Interactive Logic: Selected Papers from the 7th~Augustus de~Morgan Workshop, London},
 series       = {Texts in Logic and Games},
 volume       = {1},
 publisher    = {Amsterdam University Press},
 pages        = {303--362},
 url          = {https://www.jstor.org/stable/j.ctt45kdbf.15},
)
@book(faginetal:1995,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@article(FischerLP85,
 author       = {Michael J. Fischer and Nancy A. Lynch and Michael S. Paterson},
 year         = {1985},
 title        = {Impossibility of Distributed Consensus with One Faulty Process},
 journal      = {Journal of the ACM},
 volume       = {32},
 number       = {2},
 pages        = {374--382},
 doi          = {10.1145/3149.214121},
)
@incollection(abs-2106-11499,
 author       = {Krisztina Fruzsa and Roman Kuznets and Ulrich Schmid},
 year         = {2021},
 title        = {Fire!},
 editor       = {Joseph Halpern and Andr{\'e}s Perea},
 booktitle    = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, Beijing, China, June 25--27, 2021},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {335},
 publisher    = {Open Publishing Association},
 pages        = {139--153},
 doi          = {10.4204/EPTCS.335.13},
)
@article(gerbrandyetal:1997,
 author       = {Jelle Gerbrandy and Willem Groeneveld},
 year         = {1997},
 title        = {Reasoning about Information Change},
 journal      = {Journal of Logic, Language, and Information},
 volume       = {6},
 number       = {2},
 pages        = {147--169},
 doi          = {10.1023/A:1008222603071},
)
@incollection(goubaultetal:2023,
 author       = {{\'E}ric Goubault and Roman Kniazev and J{\'e}r{\'e}my Ledent and Sergio Rajsbaum},
 year         = {2023},
 title        = {Semi-simplicial Set Models for Distributed Knowledge},
 booktitle    = {2023~38th~Annual ACM/IEEE~Symposium on Logic in Computer Science~(LICS), 26--29~June~2023, Boston, USA},
 publisher    = {IEEE},
 doi          = {10.1109/LICS56636.2023.10175737},
)
@article(GoubaultLR21,
 author       = {{\'E}ric Goubault and J{\'e}r{\'e}my Ledent and Sergio Rajsbaum},
 year         = {2021},
 title        = {A simplicial complex model for dynamic epistemic logic to study distributed task computability},
 journal      = {Information and Computation},
 volume       = {278},
 eid          = {104597},
 doi          = {10.1016/j.ic.2020.104597},
)
@incollection(GoubaultLR22,
 author       = {{\'E}ric Goubault and J{\'e}r{\'e}my Ledent and Sergio Rajsbaum},
 year         = {2022},
 title        = {A Simplicial Model for~$\mathrm{KB4}_n$: Epistemic Logic with Agents That May Die},
 editor       = {Petra Berenbrink and Benjamin Monmege},
 booktitle    = {39th~International Symposium on Theoretical Aspects of Computer Science: STACS~2022, March~15--18, 2022, Marseille, France (Virtual Conference)},
 series       = {Leibniz International Proceedings in Informatics~(LIPIcs)},
 volume       = {219},
 publisher    = {Schloss Dagstuhl~-- Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {33:1--33:20},
 doi          = {10.4230/LIPIcs.STACS.2022.33},
)
@article(halpernmoses:1990,
 author       = {Joseph Y. Halpern and Yoram Moses},
 year         = {1990},
 title        = {Knowledge and Common Knowledge in a Distributed Environment},
 journal      = {Journal of the ACM},
 volume       = {37},
 number       = {3},
 pages        = {549--587},
 doi          = {10.1145/79147.79161},
)
@book(herlihyetal:2013,
 author       = {Maurice Herlihy and Dmitry Kozlov and Sergio Rajsbaum},
 year         = {2014},
 title        = {Distributed Computing through Combinatorial Topology},
 publisher    = {Morgan Kaufmann},
 doi          = {10.1016/C2011-0-07032-1},
)
@article(HS99,
 author       = {Maurice Herlihy and Nir Shavit},
 year         = {1999},
 title        = {The Topological Structure of Asynchronous Computability},
 journal      = {Journal of the ACM},
 volume       = {46},
 number       = {6},
 pages        = {858--923},
 doi          = {10.1145/331524.331529},
)
@book(hintikka:1962,
 author       = {Jaakko Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief: An Introduction to the Logic of the Two Notions},
 publisher    = {Cornell University Press},
)
@phdthesis(ledent:2019,
 author       = {J{\'e}r{\'e}my Ledent},
 year         = {2019},
 title        = {Geometric semantics for asynchronous computability},
 school       = {Paris-Saclay University},
 address      = {Palaiseau, France},
 url          = {https://theses.hal.science/tel-02445180},
 note         = {Prepared at {\'E}cole polytechnique},
)
@incollection(luoietal:1987,
 author       = {Michael C. Loui and Abu-Amara, Hosame H.},
 year         = {1987},
 title        = {Memory Requirements for Agreement among Unreliable Asynchronous Processes},
 editor       = {Franco P. Preparata},
 booktitle    = {Parallel and Distributed Computing},
 series       = {Advances in Computing Research: A Research Annual},
 volume       = {4},
 publisher    = {JAI Press},
 pages        = {163--183},
)
@incollection(moss.handbook:2015,
 author       = {Lawrence S. Moss},
 year         = {2015},
 title        = {Dynamic Epistemic Logic},
 editor       = {Hans van Ditmarsch and Joseph Y. Halpern and Wiebe van der Hoek and Barteld Kooi},
 booktitle    = {Handbook of Epistemic Logic},
 publisher    = {College Publications},
 pages        = {261--312},
)
@incollection(PflegerS18,
 author       = {Daniel Pfleger and Ulrich Schmid},
 year         = {2018},
 title        = {On Knowledge and Communication Complexity in Distributed Systems},
 editor       = {Zvi Lotker and Patt-Shamir, Boaz},
 booktitle    = {Structural Information and Communication Complexity: 25th~International Colloquium, SIROCCO~2018, Ma'ale HaHamisha, Israel, June~18--21, 2018, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {11085},
 publisher    = {Springer},
 pages        = {312--330},
 doi          = {10.1007/978-3-030-01325-7_27},
)
@incollection(Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {18th~Annual Symposium on Foundations of Computer Science},
 publisher    = {IEEE},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(rojo:2023,
 author       = {Rojo Randrianomentsoa and Hans van Ditmarsch and Roman Kuznets},
 year         = {2023},
 title        = {Impure Simplicial Complexes: Complete Axiomatization},
 journal      = {Logical Methods in Computer Science},
 doi          = {10.48550/arXiv.2211.13543},
 note         = {In press},
)
@article(Roelofsen07,
 author       = {Floris Roelofsen},
 year         = {2007},
 title        = {Distributed knowledge},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {17},
 number       = {2},
 pages        = {255--273},
 doi          = {10.3166/jancl.17.255-273},
)
@incollection(diego:2021,
 author       = {Diego A. Vel{\'a}zquez and Casta{\~n}eda, Armando and David A. Rosenblueth},
 year         = {2021},
 title        = {Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems},
 editor       = {Joseph Halpern and Andr{\'e}s Perea},
 booktitle    = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, Beijing, China, June 25--27, 2021},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {335},
 publisher    = {Open Publishing Association},
 pages        = {307--321},
 doi          = {10.4204/EPTCS.335.29},
)