Advertisement

© 2020

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
    PDF

  2. Regular Papers

    1. Front Matter
      Pages 1-1
      PDF
    2. Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
      Raul Fervari, Francisco Trucco, Beta Ziliani
      Pages 3-18
      PDF
    3. Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
      Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
      Pages 19-34
      PDF
    4. The Logic of AGM Learning from Partial Observations
      Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas-Sandoval
      Pages 35-52
      PDF
    5. A Dynamic Epistemic Logic Analysis of the Equality Negation Task
      Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
      Pages 53-70
      PDF
    6. A Logical Analysis of the Interplay Between Social Influence and Friendship Selection
      Sonja Smets, Fernando R. Velázquez-Quesada
      Pages 71-87
      PDF
    7. A Four-Valued Hybrid Logic with Non-dual Modal Operators
      Diana Costa, Manuel A. Martins
      Pages 88-103
      PDF
    8. Persuasive Argumentation and Epistemic Attitudes
      Carlo Proietti, Antonio Yuste-Ginel
      Pages 104-123
      PDF
    9. The Trace Modality
      Dominic Steinhöfel, Reiner Hähnle
      Pages 124-140
      PDF
    10. Iterative Division in the Distributive Full Non-associative Lambek Calculus
      Igor Sedlár
      Pages 141-154
      PDF
    11. Resource Separation in Dynamic Logic of Propositional Assignments
      Joseph Boudou, Andreas Herzig, Nicolas Troquard
      Pages 155-170
      PDF
    12. Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings
      Aldo Iván Ramírez Abarca, Jan Broersen
      Pages 171-189
      PDF
    13. Bringing Belief Base Change into Dynamic Epistemic Logic
      Marlo Souza, Álvaro Moreira
      Pages 190-205
      PDF

  3. Short Papers

    1. Front Matter
      Pages 207-207
      PDF
    2. A Dynamic Logic for QASM Programs
      Carlos Tavares
      Pages 209-217
      PDF
    3. On the Construction of Multi-valued Concurrent Dynamic Logics
      Leandro Gomes
      Pages 218-226
      PDF
  4. Back Matter
    Pages 227-227
    PDF

About these proceedings

Introduction

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. 

Keywords

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