Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers by Nina Gierasimczuk, Fernando R. Velázquez-Quesada
English | PDF (True) | 2024 | 147 Pages | ISBN : 3031517768 | 3.9 MB
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.