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

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