Dynamic Logic. New Trends and Applications
Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Dynamic Logic. New Trends and Applications “
Klappentext zu „Dynamic Logic. New Trends and Applications “
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.
Inhaltsverzeichnis zu „Dynamic Logic. New Trends and Applications “
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.
Bibliographische Angaben
- 2020, 1st ed. 2020, X, 295 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Manuel A. Martins, Igor Sedlár
- Verlag: Springer, Berlin
- ISBN-10: 3030658392
- ISBN-13: 9783030658397
- Erscheinungsdatum: 08.12.2020
Sprache:
Englisch
Kommentar zu "Dynamic Logic. New Trends and Applications"
Schreiben Sie einen Kommentar zu "Dynamic Logic. New Trends and Applications".
Kommentar verfassen