Expressivity of Some Versions of APAL

0537043 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
van Ditmarsch, H. - Liu, M. - Kuijer, L. B. - Sedlár, Igor
Expressivity of Some Versions of APAL.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 120-136. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic epistemic logic * Expressivity * Modal logic
Obor OECD: Pure mathematics

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.
Trvalý link: http://hdl.handle.net/11104/0314797