Comparing the Update Expressivity of Communication Patterns and Action Models

DOI10.4204/eptcs.379.14arXiv2307.05057MaRDI QIDQ6199605

Hans P. van Ditmarsch, Armando Castañeda, David A. Rosenblueth, Diego A. Velázquez

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05057

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Action emulation
• Logics of communication and change
• Relativized common knowledge for dynamic epistemic logic
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Programming simultaneous actions using common knowledge
• Resolving distributed knowledge
• Arrow update synthesis
• Distributed knowledge
• The Byzantine Generals Problem
• Connecting dynamic epistemic and temporal epistemic logics

This page was built for publication: Comparing the Update Expressivity of Communication Patterns and Action Models