Show simple item record

dc.contributor.authorÅgotnes, Thomas
dc.contributor.authorGalimullin, Rustam
dc.date.accessioned2023-07-05T06:14:44Z
dc.date.available2023-07-05T06:14:44Z
dc.date.created2023-03-09T14:57:08Z
dc.date.issued2023
dc.identifier.issn1387-2532
dc.identifier.urihttps://hdl.handle.net/11250/3075966
dc.description.abstractPublic announcement logic (PAL) extends multi-agent epistemic logic with dynamic operators modelling the effects of public communication. Allowing quantification over public announcements lets us reason about the existence of an announcement that reaches a certain epistemic goal. Two notable examples of logics of quantified announcements are arbitrary public announcement logic (APAL) and group announcement logic (GAL). While the notion of common knowledge plays an important role in PAL, and in particular in characterisations of epistemic states that an agent or a group of agents might make come about by performing public announcements, extensions of APAL and GAL with common knowledge still haven’t been studied in detail. That is what we do in this paper. In particular, we consider both conservative extensions, where the semantics of the quantifiers is not changed, as well as extensions where the scope of quantification also includes common knowledge formulas. We compare the expressivity of these extensions relative to each other and other connected logics, and provide sound and complete axiomatisations. Finally, we show how the completeness results can be used for other logics with quantification over information change.en_US
dc.language.isoengen_US
dc.publisherSpringeren_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleQuantifying over information change with common knowledgeen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionpublishedVersionen_US
dc.rights.holderCopyright 2023 the authorsen_US
dc.source.articlenumber19en_US
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1
dc.identifier.doi10.1007/s10458-023-09601-0
dc.identifier.cristin2132824
dc.source.journalAutonomous Agents and Multi-Agent Systemsen_US
dc.identifier.citationAutonomous Agents and Multi-Agent Systems. 2023, 37, 19.en_US
dc.source.volume37en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Navngivelse 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal