Expressivity of Some Versions of APAL

Authors: H. van Ditmarsch, M. Liu, L. B. Kuijer, Igor Sedlár
Publication year: 2020
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: Dynamic Logic: New Trends and Applications
Bibliographic citation: VAN DITMARSCH, H., LIU, M., KUIJER, L. B., SEDLÁR, Igor. Expressivity of Some Versions of APAL. In: MARTINS, M. A., SEDLÁR, I., eds. Dynamic Logic: New Trends and Applications. Cham: Springer, 2020, S. 120-136. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743
Dostupné z: doi:10.1007/978-3-030-65840-3_8
DOI: 10.1007/978-3-030-65840-3_8
ID: 537043

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.