03063nam a22005535i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001700172072001600189072002300205072001500228245024600243250001800489264006900507300006300576336002600639337002600665338003600691347002400727490005900751505047600810520036801286650002901654650003101683650003001714650003301744650003201777650006601809650004701875650002401922650003301946650004401979700008802023700010102111710003402212773002602246776003602272776003602308830005902344856004602403912001402449912001502463912001402478999001702492978-3-031-51777-8DE-He21320251030110920.0cr nn 008mamaa240112s2024    sz |    s    |||| 0|eng d  a97830315177789978-3-031-51777-87 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.958552 0aMathematical logic.966195 0aLogic programming.966664 0aSoftware engineering.933953 0aComputer networks .96015714aComputer Science Logic and Foundations of Programming.96817324aMathematical Logic and Foundations.96619824aLogic in AI.96666524aSoftware Engineering.93395324aComputer Communication Networks.9656891 aGierasimczuk, Nina.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9695041 aVelázquez-Quesada, Fernando R.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9695052 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  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c57177d57177