Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / [electronic resource] :
edited by Carlos Areces, Diana Costa.
- 1st ed. 2023.
- XIII, 155 p. 37 illus. online resource.
- Lecture Notes in Computer Science, 13780 1611-3349 ; .
- Lecture Notes in Computer Science, 13780 .
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.
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. .
9783031266225
10.1007/978-3-031-26622-5 doi
Logic.
Mathematical logic.
Logic programming.
Software engineering.
Computer networks .
Logic.
Mathematical Logic and Foundations.
Logic in AI.
Software Engineering.
Computer Communication Networks.
BC1-199
160
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.
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. .
9783031266225
10.1007/978-3-031-26622-5 doi
Logic.
Mathematical logic.
Logic programming.
Software engineering.
Computer networks .
Logic.
Mathematical Logic and Foundations.
Logic in AI.
Software Engineering.
Computer Communication Networks.
BC1-199
160