Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
Contributor(s): Areces, Carlos [editor.]
| Costa, Diana [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Computer Science: 13780Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Edition: 1st ed. 2023.Description: XIII, 155 p. 37 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031266225.Subject(s): Logic | Mathematical logic | Logic programming | Software engineering | Computer networks | Logic | Mathematical Logic and Foundations | Logic in AI | Software Engineering | Computer Communication NetworksAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 160 Online resources: Click here to access online 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. .
There are no comments for this item.