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