References

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