Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers

Carlos Areces, Diana Costa 0001, editors, Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers. Volume 13780 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Conference: DaLi2023

Abstract

Abstract is missing.

Table of Contents