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...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/1803.01696 http://arxiv.org/abs/1803.01696 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1879173400741543936 |
|---|---|
| author | van Ditmarsch, Hans French, Tim Hales, James |
| author_browse | French, Tim Hales, James van Ditmarsch, Hans |
| author_facet | van Ditmarsch, Hans French, Tim Hales, James |
| author_sort | van Ditmarsch, Hans |
| building | arXiv |
| collection | Acceso abierto |
| description | 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 announcement logic (APAL+), which restricts arbitrary public announcements to announcement of positive formulas. Positive formulas prohibit statements about the ignorance of agents. The positive formulas correspond to the universal fragment in first-order logic. As two successive announcements of positive formulas need not correspond to the announcement of a positive formula, APAL+ is rather different from APAL. We show that APAL+ is more expressive than public announcement logic PAL, and that APAL+ is incomparable with APAL. We also provide a sound and complete infinitary axiomatisation. |
| doi_str_mv | 10.1007/s11225-020-09922-1 |
| first_indexed | 2026-10-15T23:56:37Z |
| format | Article |
| fullrecord | <oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ https://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>arxiv-1803.01696</identifier><datestamp>2021-11-30</datestamp>
<dc:title>Positive Announcements</dc:title>
<dc:creator>van Ditmarsch, Hans</dc:creator>
<dc:creator>French, Tim</dc:creator>
<dc:creator>Hales, James</dc:creator>
<dc:subject>Logic in Computer Science</dc:subject>
<dc:description>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 announcement logic (APAL+), which restricts arbitrary public announcements to announcement of positive formulas. Positive formulas prohibit statements about the ignorance of agents. The positive formulas correspond to the universal fragment in first-order logic. As two successive announcements of positive formulas need not correspond to the announcement of a positive formula, APAL+ is rather different from APAL. We show that APAL+ is more expressive than public announcement logic PAL, and that APAL+ is incomparable with APAL. We also provide a sound and complete infinitary axiomatisation. </dc:description>
<dc:date>2018-03-05</dc:date>
<dc:date>2020-07-22</dc:date>
<dc:type>text</dc:type>
<dc:identifier>https://arxiv.org/abs/1803.01696</dc:identifier>
<dc:identifier>http://arxiv.org/abs/1803.01696</dc:identifier>
<dc:identifier>Studia Logica 109(3): 639-681, 2021</dc:identifier>
<dc:identifier>doi:10.1007/s11225-020-09922-1</dc:identifier>
</oai_dc:dc> |
| id | arxiv-1803.01696 |
| institution | arXiv |
| last_indexed | 2026-10-15T23:56:37Z |
| publishDate | 2018 |
| publishDateRange | 2018 |
| publishDateSort | 2018 |
| record_format | oai_dc |
| spelling | arxiv-1803.016962021-11-30 Positive Announcements van Ditmarsch, Hans French, Tim Hales, James Logic in Computer Science 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 announcement logic (APAL+), which restricts arbitrary public announcements to announcement of positive formulas. Positive formulas prohibit statements about the ignorance of agents. The positive formulas correspond to the universal fragment in first-order logic. As two successive announcements of positive formulas need not correspond to the announcement of a positive formula, APAL+ is rather different from APAL. We show that APAL+ is more expressive than public announcement logic PAL, and that APAL+ is incomparable with APAL. We also provide a sound and complete infinitary axiomatisation. 2018-03-05 2020-07-22 text https://arxiv.org/abs/1803.01696 http://arxiv.org/abs/1803.01696 Studia Logica 109(3): 639-681, 2021 doi:10.1007/s11225-020-09922-1 |
| spellingShingle | Logic in Computer Science van Ditmarsch, Hans French, Tim Hales, James Positive Announcements |
| title | Positive Announcements |
| title_full | Positive Announcements |
| title_fullStr | Positive Announcements |
| title_full_unstemmed | Positive Announcements |
| title_short | Positive Announcements |
| title_sort | positive announcements |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/1803.01696 http://arxiv.org/abs/1803.01696 |
| work_keys_str_mv | AT vanditmarschhans positiveannouncements AT frenchtim positiveannouncements AT halesjames positiveannouncements |