02852nam a22005055i 4500001001800000003000900018005001700027007001500044008004100059020001800100024003500118050001700153072001600170072002300186072001500209245024600224250001800470264006900488300006300557336002600620337002600646338003600672347002400708490005900732505047600791520036801267650002201635650002401657650002301681650002601704650002501730650005901755650004001814650001701854650002601871650003701897700008101934700009402015710003402109773002602143776003602169776003602205830005902241856004602300978-3-031-51777-8DE-He21320251030110920.0cr nn 008mamaa240112s2024    sz |    s    |||| 0|eng d  a97830315177787 a10.1007/978-3-031-51777-82doi 4aQA75.5-76.95 7aUYA2bicssc 7aCOM0140002bisacsh 7aUYA2thema10aDynamic Logic. New Trends and Applicationsh[electronic resource] :b5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /cedited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXI, 137 p. 19 illus., 6 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v144010 aA spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum Program Verification in Dynamic Quantum Logic -- Predictive Theory of Mind Models Based on Public Announcement Logic -- Learning by Intervention in Simple Causal Domains -- A Logical Approach to Doxastic Causal Reasoning.  aThis book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic. 0aComputer science. 0aMathematical logic. 0aLogic programming. 0aSoftware engineering. 0aComputer networks .14aComputer Science Logic and Foundations of Programming.24aMathematical Logic and Foundations.24aLogic in AI.24aSoftware Engineering.24aComputer Communication Networks.1 aGierasimczuk, Nina.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt1 aVelázquez-Quesada, Fernando R.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt2 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303151776108iPrinted edition:z9783031517785 0aLecture Notes in Computer Science,x1611-3349 ;v1440140uhttps://doi.org/10.1007/978-3-031-51777-8