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