Dynamic Logic. New Trends and Applications

0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
Martins, M. A. (ed.) - Sedlár, Igor (ed.)
Dynamic Logic. New Trends and Applications.
Cham: Springer, 2020. 295 s. 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: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3

This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Trvalý link: http://hdl.handle.net/11104/0314799