3rd DaLí Workshop

Dynamic Logic: New Trends and Applications

Online, 9-10 October 2020


Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This led to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.


Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to

  • Dynamic logic, foundations and applications
  • Logics with regular modalities
  • Modal/temporal/epistemic logics
  • Kleene and action algebras and their variants
  • Quantum dynamic logic
  • Coalgebraic modal/dynamic logics
  • Graded and fuzzy dynamic logics
  • Dynamic logics for cyber-physical systems
  • Dynamic epistemic logic
  • Complexity and decidability of variants of dynamic logics and temporal logics
  • Model checking, model generation and theorem proving for dynamic logics

Invited Speakers

  • Natasha Alechina (Utrecht)
  • Johan van Benthem (U Amsterdam / Stanford / Tsinghua U)

Practical Arrangements, Registration and Fees

Given the worsening epidemiological situation, we have decided to hold DaLi as an online workshop via Zoom.

To register for participation in the workshop, contact the PC/OC chair Igor Sedlár, stating your full name and affiliation. You will be contacted with details concerning Zoom streaming of the workshop. Registration fees are waived.

Volume of Abstracts

You will find the workshop volume here. It contains the schedule, abstracts of all talks and some practical information.

Shedule (all times are GMT+2)

Friday 9 October

  • 09:20 - 09:30  Opening
  • Regular Talks
  • 09:30 - 10:00  Ryo Hatano and Katsuhiko Sano: Constructive Dynamic Logic of Relation Changers
  • 10:00 - 10:30  Stepan Kuznetsov: Complexity of Commutative Infinitary Action Logic
  • 10:30 - 11:00  Sebastian Reiche and Christoph Benzmüller: Public Announcement Logic in HOL
  • 11:00 - 11:15  Break
  • 11:15 - 11:45  Yì N. Wáng and Thomas Ågotnes: A New Completeness Technique for Modal Logics With Intersection
  • 11:45 - 12:15  Anthia Solaki: Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge
  • 12:15 - 13:30  Break
  • Invited Talk
  • 13:30 - 14:30  Johan van Benthem: The Entanglement of Update and Inference
  • 14:30 - 14:45  Break
  • Regular Talks
  • 14:45 - 15:15  Vít Punčochář: Inquisitive Dynamic Epistemic Logic in a Non-Classical Setting
  • 15:15 - 15:45  Sabine Frittella, Marta Bílková, Ondrej Majer and Sajad Nazari: Belief Based on Inconsistent Information
  • 15:45 - 16:15  Guillaume Aucher: Expedition in the Update Universe
  • 16:15 - 16:45  Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales: Ecumenical Modal Logic
  • 16:45 - 17:00  Break
  • Short Talks
  • 17:00 - 17:20  Diana Costa: A Dynamic Logic with Four-Valued Relations and Propositions
  • 17:20 - 17:40  Daniel Rogozin: The Finite Representation Property for Representable Residuated Semigroups
  • 17:40 - 18:00  Oleg Grigoriev and Yaroslav Petrukhin: Basic Modal Congruent and Monotonic Multilattice Logics

Saturday, 10 October

  • Regular Talks
  • 09:30 - 10:00  Line van den Berg and Malvin Gattinger: Dealing with Unreliable Agents in Dynamic Gossip
  • 10:00 - 10:30  Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada and Kaibo Xie: Thinking about Causation: A Causal Language with Epistemic Operators
  • 10:30 - 11:00  Thomas Bolander and Arnaud Lequen: Parameterized Complexity of Dynamic Belief Updates
  • 11:00 - 11:15  Break
  • 11:15 - 11:45  Zuojun Xiong and Thomas Ågotnes: Arbitrary Propositional Network Announcement Logic
  • 11:45 - 12:15  Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer and Igor Sedlár: Expressivity of some versions of APAL
  • 12:15 - 13:30  Break
  • Invited Talk
  • 13:30 - 14:30  Natasha Alechina: Simultaneous and Sequential Announcements
  • 14:30 - 14:45  Break
  • Regular Talks
  • 14:45 - 15:15  Emiliano Lorini and Pengfei Song: Grounding Awareness on Belief Bases
  • 15:15 - 15:45  Gaia Belardinelli and Rasmus K. Rendsvig: Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model
  • 15:45 - 16:15  Valentin Cassano, Raul Fervari, Carlos Areces and Pablo Castro: Default Modal Systems as Algebraic Updates
  • Short Talk
  • 16:15 - 16:35  Vitor Machado and Mario Benevides: A Logic for the Study of Evolving Behaviors in Social Networks
  • 16:35 - 16:45  Closing


As in previous editions, the post-proceedings will be published by Springer as a Lecture Notes in Computer Science volume.

Authors should consult Springer's authors' guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.

Extended versions of selected contributions will be published in a special issue of the Journal of Logic and Computation. More details will be provided after the workshop.

Local Organization

  • Marta Bílková (Institute of Computer Science, CAS)
  • Petr Cintula (Institute of Computer Science, CAS)
  • Ondrej Majer (Institute of Philosophy, CAS)
  • Igor Sedlár (Institute of Computer Science, CAS)
  • Andrew Tedder (Institute of Philosophy, CAS)


With inquiries concerning the workshop, contact the PC chairs:

  • martins (at) ua (dot) pt
  • sedlar (at) cs (dot) cas (dot) cz


The workshop is supported by the Institute of Computer Science and the Institute of Philosophy of the Czech Academy of Sciences and the Czech Science Foundation grant no. 18-19162Y.



Program Committee

  • Carlos Areces (U Cordoba, AR)
  • Guillaume Aucher (IRISA, FR)
  • Alexandru Baltag (ILLC, Amsterdam, NL)
  • Luis Barbosa (U Minho, PT)
  • Mário Benevides (UF Rio de Janeiro, BR)
  • Patrick Blackburn, (U Roskilde, DK)
  • Thomas Bolander (DTU, Copenhagen, DK)
  • Johan van Benthem (ILLC, Amsterdam, NL)
  • Philippe Balbiani (IRIT, Toulouse, FR)
  • Marta Bílková (CAS, Prague, CZ)
  • Fredrik Dahlqvist (UCL, London, UK)
  • Hans van Ditmarsch (LORIA, Nancy, FR)
  • Sabine Frittella (LIFO, Bourges, FR)
  • Nina Gierasimczuk (DTU, Copenhagen, DK)
  • Reiner Hähnle (TU Darmstadt, DE)
  • Rolf Hennicker (LMU, Munich, DE)
  • Clemens Kupke (U Strathclyde, UK)
  • Alexandre Madeira (U Aveiro, PT)
  • Stefan Mitsch (CMU, USA)
  • Renato Neves (U Minho, PT)
  • Aybüke Özgün (ILLC, Amsterdam, NL)
  • Alessandra Palmigiano (VU Amsterdam, NL)
  • Olivier Roy (U Bayreuth, DE)
  • Lutz Schröder (FAU, Erlangen-Nürnberg, DE)
  • Sonja Smets (ILLC, Amsterdam, NL)
  • Fernando Velázquez Quesada (ILLC, Amsterdam, NL)
  • Thomas Ågotnes (U Bergen, NO)

Previous Editions

Important Dates

  • Submission deadline: 26 July 2020 (extended)
  • Notification: 18 September 2020
  • Revised papers (for workshop):
    2 October 2020
  • Workshop: October 9-10, 2020
  • Camera-ready papers (post-proceedings):
    30 October 2020