Košík

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