{"product_id":"9783030658397","title":"Dynamic Logic. New Trends and Applications : Third International Workshop, DaL\u0026iacute; 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers (Lecture Notes in Computer Science 12569) (1st ed. 2020. 2020. x, 295 S. 83 SW-Abb. 235 mm)","description":"\u003cp\u003e§16§§This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. §The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.§§§The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to §04§Expedition in the Update Universe.- Thinking about Causation: A Causal Language with Epistemic Operators.- Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier Schipper Model.- Dealing with Unreliable Agents in Dynamic Gossip Belief Based on Inconsistent Information.- Parameterized Complexity of Dynamic Belief Updates.- Default Modal Systems as Algebraic Updates.- Expressivity of Some Versions of APAL.- Constructive Dynamic Logic of Relation Changers.- Complexity of Commutative Infinitary Action Logic.- Grounding Awareness on Belief Bases.- Ecumenical Modal Logic.- Inquisitive Dynamic Epistemic Logic in a Non-Classical Setting.- Public Announcement Logic in HOL.- Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge.- Simpler Completeness Proofs for Modal Logics with Intersection.- Arbitrary Propositional Network Announcement Logic.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER","offers":[{"title":"Default Title","offer_id":49801032270072,"sku":"00000_00000_00000_00000","price":107.69,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/kinokuniya.com.au\/ja\/products\/9783030658397","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}