UID:
almahu_9949709314502882
Format:
XI, 137 p. 19 illus., 6 illus. in color.
,
online resource.
Edition:
1st ed. 2024.
ISBN:
9783031517778
Series Statement:
Lecture Notes in Computer Science, 14401
Content:
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.
Note:
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.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031517761
Additional Edition:
Printed edition: ISBN 9783031517785
Language:
English
DOI:
10.1007/978-3-031-51777-8
URL:
https://doi.org/10.1007/978-3-031-51777-8
Bookmarklink