Quantifying over Asynchronous Information Change
Résumé
We propose a logic AAA for Arbitrary Asynchronous Announcements. In this logic, the sending and receiving of messages that are announcements are separated and represented by distinct modalities. Additionally, the logic has a modality that represents quantification over information change in the shape of sequences of sending and receiving events, called histories. We present a complete however infinitary axiomatisation, and various results for the logical semantics, wherein we consider both how the logic is different from asynchronous announcement logic AA and how the logic is different from arbitrary public announcement logic APAL. We also address the expressivity and we demonstrate the preservation of an extended fragment of positive formulas (wherein negations do not occur before epistemic modalities). Finally, we present work in progress on the logic AAM of Asynchronous Action Models and the logic AAAM of Arbitrary Asynchronous Action Models.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...