PP-2019-14: Arbitrary Public Announcement Logic with Memory

PP-2019-14: Baltag, Alexandru and Özgün, Aybüke and Vargas, Ana Lucia (2019) Arbitrary Public Announcement Logic with Memory. [Pre-print]

Warning
There is a more recent version of this item available.
[thumbnail of BaltagOzgunVargas-Published version - ILLC Preprint.pdf] Text
BaltagOzgunVargas-Published version - ILLC Preprint.pdf - Accepted Version

Download (336kB)
[thumbnail of BaltagOzgunVargas-Sandoval-ILLC Preprint - Updated.pdf]
Preview
Text
BaltagOzgunVargas-Sandoval-ILLC Preprint - Updated.pdf

Download (327kB) | Preview

Abstract

We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a 'memory' of the initial states, representing the information before any communication took place ("the prior"), and adding to the syntax operators that can access this memory. We show that APALM is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that includes a natural finitary rule, and study this logic's expressivity and the appropriate notion of bisimulation. We then examine Group Announcement Logic with Memory (GALM), the extension of APALM obtained by adding to its syntax group announcement operators, and provide a complete finitary axiomatization (again in contrast to the original Group Announcement Logic, for which the only known axiomatization is infinitary). We also show that, in the memory-enhanced context, there is a `natural' reduction of the so-called coalition announcement modality to group announcements (in contrast to the memory-free case, where this natural translation was shown to be invalid).

Item Type: Pre-print
Report Nr: PP-2019-14
Series Name: Prepublication (PP) Series
Year: 2019
Uncontrolled Keywords: dynamic epistemic logic, arbitrary public announcement logic, group announcement logic, modal logic, subset space semantics, epistemology
Subjects: Logic
Philosophy
Depositing User: Dr Aybüke Özgün
Date Deposited: 08 Apr 2021 14:41
Last Modified: 21 Jul 2022 15:11
URI: https://eprints.illc.uva.nl/id/eprint/1787

Available Versions of this Item

Actions (login required)

View Item View Item