Martins / Sedlár Dynamic Logic. New Trends and Applications
1. Auflage 2020
ISBN: 978-3-030-65840-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
E-Book, Englisch, 295 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-65840-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
