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 .
<br/><br/>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. 
<br/><br/> 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. . 
<br/><br/><label>ISBN: </label>9783031266225 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-26622-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic.<br/>Mathematical logic.<br/>Logic programming.<br/>Software engineering.<br/>Computer networks .<br/>Logic.<br/>Mathematical Logic and Foundations.<br/>Logic in AI.<br/>Software Engineering.<br/>Computer Communication Networks.
<br/><br/><label>LC Class. No.: </label>BC1-199 
<br/><br/><label>Dewey Class. No.: </label>160