Dynamic Logic. New Trends and Applications

Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

  • Luís Soares Barbosa
  • Alexandru Baltag
Conference proceedings DALI 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12005)

Table of contents

  1. Front Matter
    Pages i-x
  2. Regular Papers

    1. Front Matter
      Pages 1-1
    2. Raul Fervari, Francisco Trucco, Beta Ziliani
      Pages 3-18
    3. Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
      Pages 19-34
    4. Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas-Sandoval
      Pages 35-52
    5. Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
      Pages 53-70
    6. Sonja Smets, Fernando R. Velázquez-Quesada
      Pages 71-87
    7. Diana Costa, Manuel A. Martins
      Pages 88-103
    8. Carlo Proietti, Antonio Yuste-Ginel
      Pages 104-123
    9. Dominic Steinhöfel, Reiner Hähnle
      Pages 124-140
    10. Joseph Boudou, Andreas Herzig, Nicolas Troquard
      Pages 155-170
    11. Marlo Souza, Álvaro Moreira
      Pages 190-205
  3. Short Papers

    1. Front Matter
      Pages 207-207
    2. Carlos Tavares
      Pages 209-217
  4. Back Matter
    Pages 227-227

About these proceedings


This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.
The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design. 


verification Logic Dynamic logics Epistemic logics Modal and temporal logics Program semantics Program reasoning Pre- and post- conditions Program verification

Editors and affiliations

  1. 1.University of MinhoBragaPortugal
  2. 2.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-38807-2
  • Online ISBN 978-3-030-38808-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site