Skip to main content
SpringerLink
Log in

Dynamic Logic. New Trends and Applications

Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Manuel A. Martins

    1. Department of Mathematics, University of Aveiro, Aveiro, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Igor Sedlár

    1. Institute of Computer Science, Czech Academy of Sciences, Praha 8, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12569)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: DaLi 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Expedition in the Update Universe

    • Guillaume Aucher
    Pages 1-16

  3. Thinking About Causation: A Causal Language with Epistemic Operators

    • Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
    Pages 17-32

  4. Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model

    • Gaia Belardinelli, Rasmus K. Rendsvig
    Pages 33-50

  5. Dealing with Unreliable Agents in Dynamic Gossip

    • Line van den Berg, Malvin Gattinger
    Pages 51-67

  6. Belief Based on Inconsistent Information

    • Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
    Pages 68-86

  7. Parameterized Complexity of Dynamic Belief Updates

    • Thomas Bolander, Arnaud Lequen
    Pages 87-102

  8. Default Modal Systems as Algebraic Updates

    • Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
    Pages 103-119

  9. Expressivity of Some Versions of APAL

    • Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
    Pages 120-136

  10. Constructive Dynamic Logic of Relation Changers

    • Ryo Hatano, Katsuhiko Sano
    Pages 137-154

  11. Complexity of Commutative Infinitary Action Logic

    • Stepan Kuznetsov
    Pages 155-169

  12. Grounding Awareness on Belief Bases

    • Emiliano Lorini, Pengfei Song
    Pages 170-186

  13. Ecumenical Modal Logic

    • Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
    Pages 187-204

  14. Inquisitive Dynamic Epistemic Logic in a Non-classical Setting

    • Vít Punčochář
    Pages 205-221

  15. Public Announcement Logic in HOL

    • Sebastian Reiche, Christoph Benzmüller
    Pages 222-238

  16. Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge

    • Anthia Solaki
    Pages 239-258

  17. Simpler Completeness Proofs for Modal Logics with Intersection

    • Yì N. Wáng, Thomas Ågotnes
    Pages 259-276

  18. Arbitrary Propositional Network Announcement Logic

    • Zuojun Xiong, Thomas Ågotnes
    Pages 277-293

  19. Back Matter

    Pages 295-295
    Download chapter PDF
Back to top

Other volumes

  1. Dynamic Logic. New Trends and Applications

Keywords

About this book

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.


Editors and Affiliations

  • Department of Mathematics, University of Aveiro, Aveiro, Portugal

    Manuel A. Martins

  • Institute of Computer Science, Czech Academy of Sciences, Praha 8, Czech Republic

    Igor Sedlár

Bibliographic Information

  • Book Title: Dynamic Logic. New Trends and Applications

  • Book Subtitle: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

  • Editors: Manuel A. Martins, Igor Sedlár

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-65840-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-65839-7Published: 22 December 2020

  • eBook ISBN: 978-3-030-65840-3Published: 21 December 2020

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 295

  • Number of Illustrations: 83 b/w illustrations

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation