Skip to main content
SpringerLink
Log in

Dynamic Logic. New Trends and Applications

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Luís Soares Barbosa

    1. University of Minho, Braga, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexandru Baltag

    1. Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands

    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 12005)

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

Included in the following conference series:

Conference proceedings info: DALI 2019.

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 (14 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Regular Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq

      • Raul Fervari, Francisco Trucco, Beta Ziliani
      Pages 3-18

    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

    4. The Logic of AGM Learning from Partial Observations

      • Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas-Sandoval
      Pages 35-52

    5. A Dynamic Epistemic Logic Analysis of the Equality Negation Task

      • Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
      Pages 53-70

    6. A Logical Analysis of the Interplay Between Social Influence and Friendship Selection

      • Sonja Smets, Fernando R. Velázquez-Quesada
      Pages 71-87

    7. A Four-Valued Hybrid Logic with Non-dual Modal Operators

      • Diana Costa, Manuel A. Martins
      Pages 88-103

    8. Persuasive Argumentation and Epistemic Attitudes

      • Carlo Proietti, Antonio Yuste-Ginel
      Pages 104-123

    9. The Trace Modality

      • Dominic Steinhöfel, Reiner Hähnle
      Pages 124-140

    10. Iterative Division in the Distributive Full Non-associative Lambek Calculus

      • Igor Sedlár
      Pages 141-154

    11. Resource Separation in Dynamic Logic of Propositional Assignments

      • Joseph Boudou, Andreas Herzig, Nicolas Troquard
      Pages 155-170

    12. Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

      • Aldo Iván Ramírez Abarca, Jan Broersen
      Pages 171-189

    13. Bringing Belief Base Change into Dynamic Epistemic Logic

      • Marlo Souza, Álvaro Moreira
      Pages 190-205

  3. Short Papers

    1. Front Matter

      Pages 207-207
      Download chapter PDF

    2. A Dynamic Logic for QASM Programs

      • Carlos Tavares
      Pages 209-217

    3. On the Construction of Multi-valued Concurrent Dynamic Logics

      • Leandro Gomes
      Pages 218-226

  4. Back Matter

    Pages 227-227
    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 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. 

Editors and Affiliations

  • University of Minho, Braga, Portugal

    Luís Soares Barbosa

  • Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands

    Alexandru Baltag

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation