Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)

Autoři: Mgr. Igor Sedlár, Ph.D.
Rok vydání: 2023
Typ publikace: Článek v odborném periodiku
Periodikum: Journal of Logic and Computation
Bibliografická citace: MARTINS, M. A., SEDLÁR, Igor. Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). Journal of Logic and Computation. 2023, 33(6), 1119-1121. ISSN 0955-792X. E-ISSN 1465-363X
Dostupné z: doi:10.1093/logcom/exad054.
DOI: 10.1093/logcom/exad054
ID: 576870
Online záznam: Zobrazit online záznam

Abstrakt

This special issue contains extended versions of selected papers presented at the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). The workshop took place on 9–10 October 2020 online due to the COVID-19 pandemic. The organization of the workshop was based at the Institute of Computer Science of the Czech Academy of Sciences in Prague, Czech Republic. The submissions to DaLí 2020 and to the special issue span across various areas including dynamic logic and dynamic algebra, dynamic logic and public announcement logic and epistemic and modal logic in general. We hope the reader will enjoy the special issue, and we offer a small appetizer in the form of an outline of its contents.