Počet záznamů: 1
Expressivity of Some Versions of APAL
- 1.
SYSNO ASEP 0537043 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Expressivity of Some Versions of APAL Tvůrce(i) van Ditmarsch, H. (FR)
Liu, M. (FR)
Kuijer, L. B. (GB)
Sedlár, Igor (UIVT-O) RID, ORCID, SAICelkový počet autorů 4 Zdroj.dok. Dynamic Logic: New Trends and Applications. - Cham : Springer, 2020 / Martins M. A. ; Sedlár I. - ISSN 0302-9743 - ISBN 978-3-030-65839-7 Rozsah stran s. 120-136 Poč.str. 17 s. Forma vydání Tištěná - P Akce DaLí International Workshop /3./ Datum konání 09.10.2020 - 10.10.2020 Místo konání Prague / Online Země CZ - Česká republika Typ akce WRD Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova Dynamic epistemic logic ; Expressivity ; Modal logic Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics Institucionální podpora UIVT-O - RVO:67985807 EID SCOPUS 85098286184 DOI 10.1007/978-3-030-65840-3_8 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2021
Počet záznamů: 1