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 1516, 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.
A spatial logic with time and quantifiers.- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.- Axiomatization of Hybrid Logic of Link Variations.- Kleene Algebra of Weighted Programs With Domain.- Automated Quantum Program Verification in Dynamic Quantum Logic.- Predictive Theory of Mind Models Based on Public Announcement Logic.- Learning by Intervention in Simple Causal Domains.- A Logical Approach to Doxastic Causal Reasoning.
![Dynamic Logic. New Trends and Applications: 5th International Workshop, DaL 202 [Paperback]](/itemImage/2/1/4/0/2_6830739.jpg "Dynamic Logic. New Trends and Applications: 5th International Workshop, DaL 202 [Paperback]")