Quantifying over Asynchronous Information Change - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

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.
Fichier principal
Vignette du fichier
QuantAsynchInfoChange-Final.pdf (430.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02936428 , version 1 (11-09-2020)

Identifiants

  • HAL Id : hal-02936428 , version 1

Citer

Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González. Quantifying over Asynchronous Information Change. International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52. ⟨hal-02936428⟩
134 Consultations
71 Téléchargements

Partager

More