TY  - BOOK
AU  - Areces,Carlos
AU  - Costa,Diana
ED  - SpringerLink (Online service)
TI  - Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783031266225
AV  - BC1-199 
U1  - 160 23
PY  - 2023///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Logic
KW  - Mathematical logic
KW  - Logic programming
KW  - Software engineering
KW  - Computer networks 
KW  - Mathematical Logic and Foundations
KW  - Logic in AI
KW  - Software Engineering
KW  - Computer Communication Networks
N1  - Acceso multiusuario; First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case -- Relating Kleene algebras -- Dynamic epistemic logic for budget-constrained agents -- Action models for coalition logic -- Quantum logic for observation of physical quantities -- Cautious distributed belief -- A STIT logic of intentionality
N2  - This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 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-26622-5
ER  -