0537043 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : Dynamic epistemic logic * Expressivity * Modal logic
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0314797
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]
Institutional support: RVO:67985807
Keywords : Dynamic epistemic logic * Expressivity * Modal logic
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0314797