Number of the records: 1
Expressivity of Some Versions of APAL
- 1.
SYSNO ASEP 0537043 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Expressivity of Some Versions of APAL Author(s) van Ditmarsch, H. (FR)
Liu, M. (FR)
Kuijer, L. B. (GB)
Sedlár, Igor (UIVT-O) RID, ORCID, SAINumber of authors 4 Source Title Dynamic Logic: New Trends and Applications. - Cham : Springer, 2020 / Martins M. A. ; Sedlár I. - ISSN 0302-9743 - ISBN 978-3-030-65839-7 Pages s. 120-136 Number of pages 17 s. Publication form Print - P Action DaLí International Workshop /3./ Event date 09.10.2020 - 10.10.2020 VEvent location Prague / Online Country CZ - Czech Republic Event type WRD Language eng - English Country CH - Switzerland Keywords Dynamic epistemic logic ; Expressivity ; Modal logic Subject RIV BA - General Mathematics OECD category Pure mathematics Institutional support UIVT-O - RVO:67985807 EID SCOPUS 85098286184 DOI 10.1007/978-3-030-65840-3_8 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2021
Number of the records: 1