TY  - BOOK
AU  - Gierasimczuk,Nina
AU  - Velázquez-Quesada,Fernando R.
ED  - SpringerLink (Online service)
TI  - Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783031517778
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Computer science
KW  - Mathematical logic
KW  - Logic programming
KW  - Software engineering
KW  - Computer networks 
KW  - Computer Science Logic and Foundations of Programming
KW  - Mathematical Logic and Foundations
KW  - Logic in AI
KW  - Software Engineering
KW  - Computer Communication Networks
N1  - 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
N2  - 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-51777-8
ER  -