Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
Manuel A. Martins, Igor Sedlár · Journal of Logic and Computation · 2023
This special issue contains extended versions of selected papers presented at the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). The workshop took place on 9–10 October 2020 online due to the COVID-19 pandemic. The organization of the workshop was based at the Institute of Computer Science of the Czech Academy of Sciences in Prague, Czech Republic. The submissions to DaLí 2020 and to the special issue span across various areas including dynamic logic and dynamic algebra, dynamic logic and public announcement logic and epistemic and modal logic in general. We hope the reader will enjoy the special issue, and we offer a small appetizer in the form of an outline of its contents. In their paper The Expressivity of Quantified Group Announcements, Natasha Alechina, Hans van Ditmarsch, Tim French and Rustam Galimullin examine the expressivity of group announcement logic (GAL) and coalition announcement logic (CAL), involving the closely related logic of arbitrary public announcements (APAL). These logics are important tools for reasoning about whether groups and coalitions of agents can achieve their epistemic goals through truthful public communication. They also explore how memory impacts the dynamics between groups and coalitions.