Dynamic Logic. New Trends and Applications

Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9¿10, 2020, Revised Selected Papers
Herausgegeben:Martins, Manuel A.; Sedlár, Igor

• Broschiertes Buch

Produktbeschreibung

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 modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

Produktdetails

• Theoretical Computer Science and General Issues 12569
• Verlag: Springer / Springer International Publishing / Springer, Berlin
• Artikelnr. des Verlages: 978-3-030-65839-7
• 1st ed. 2020
• Seitenzahl: 308
• Erscheinungstermin: 22. Dezember 2020
• Englisch
• Abmessung: 235mm x 155mm x 17mm
• Gewicht: 470g
• ISBN-13: 9783030658397
• ISBN-10: 3030658392
• Artikelnr.: 60536749

Inhaltsangabe

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.