Positive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announceme...
Guardat en:
| Autors principals: | , , |
|---|---|
| Format: | Article |
| Publicat: |
2018
|
| Matèries: | |
| Accés en línia: | https://arxiv.org/abs/1803.01696 http://arxiv.org/abs/1803.01696 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|