Expressivity of Some Versions of APAL



van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlár, Igor
(2020) Expressivity of Some Versions of APAL. .

[img] Text
1dali_APAL.pdf - Author Accepted Manuscript

Download (342kB) | Preview

Abstract

Arbitrary public announcement logic (APAL) is a logic of change of knowledge with modalities representing quantification over announcements. We present two rather different versions of APAL wherein this quantification is restricted to formulas only containing a subset of all propositional variables: FSAPAL and SCAPAL; and another version quantifying over all announcements implied by or implying a given formula: IPAL. We then determine the relative expressivity of these logics and APAL. The IPAL quantifier promises to provide a novel perspective on substructural implication as dynamic consequence.

Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 30 Jun 2021 08:12
Last Modified: 18 Jan 2023 21:37
DOI: 10.1007/978-3-030-65840-3_8
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3128156