default search action

combined dblp search
author search
venue search
publication search

ask others

2nd DALI 2019: Porto, Portugal

> Home > Conferences and Workshops > DALI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dali/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2019
Luís Soares Barbosa, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tap/FervariTZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/FervariTZ19
Raul Fervari, Francisco Trucco, Beta Ziliani:
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HennickerKMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HennickerKMM19
Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BaltagOS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BaltagOS19
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
The Logic of AGM Learning from Partial Observations. 35-52
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GoubaultLLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GoubaultLLR19
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. 53-70
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SmetsV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SmetsV19
Sonja Smets, Fernando R. Velázquez-Quesada:
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. 71-87
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CostaM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CostaM19
Diana Costa, Manuel A. Martins:
A Four-Valued Hybrid Logic with Non-dual Modal Operators. 88-103
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ProiettiY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ProiettiY19
Carlo Proietti, Antonio Yuste-Ginel:
Persuasive Argumentation and Epistemic Attitudes. 104-123
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SteinhofelH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SteinhofelH19
Dominic Steinhöfel, Reiner Hähnle:
The Trace Modality. 124-140
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Sedlar19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Sedlar19
Igor Sedlár:
Iterative Division in the Distributive Full Non-associative Lambek Calculus. 141-154
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BoudouHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BoudouHT19
Joseph Boudou, Andreas Herzig, Nicolas Troquard:
Resource Separation in Dynamic Logic of Propositional Assignments. 155-170
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AbarcaB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AbarcaB19
Aldo Iván Ramírez Abarca, Jan M. Broersen:
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings. 171-189
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SouzaM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SouzaM19
Marlo Souza, Álvaro F. Moreira:
Bringing Belief Base Change into Dynamic Epistemic Logic. 190-205

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/tap/Tavares19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Tavares19
Carlos Tavares:
A Dynamic Logic for QASM Programs. 209-217
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Gomes19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Gomes19
Leandro Gomes:
On the Construction of Multi-valued Concurrent Dynamic Logics. 218-226

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.