default search action

combined dblp search
author search
venue search
publication search

ask others

3rd DALI 2020: Prague, Czech Republic

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2020
Manuel A. Martins, Igor Sedlár:
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12569, Springer 2020, ISBN 978-3-030-65839-7
- view
  authority control:
- export record
  dblp key:
  - conf/dali/Aucher20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/Aucher20
Guillaume Aucher:
Expedition in the Update Universe. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/dali/BarberoSSVX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/BarberoSSVX20
Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie:
Thinking About Causation: A Causal Language with Epistemic Operators. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/dali/BelardinelliR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/BelardinelliR20
Gaia Belardinelli, Rasmus K. Rendsvig:
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model. 33-50
- view
  authority control:
- export record
  dblp key:
  - conf/dali/BergG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/BergG20
Line van den Berg, Malvin Gattinger:
Dealing with Unreliable Agents in Dynamic Gossip. 51-67
- view
  authority control:
- export record
  dblp key:
  - conf/dali/BilkovaFMN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/BilkovaFMN20
Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari:
Belief Based on Inconsistent Information. 68-86
- view
  authority control:
- export record
  dblp key:
  - conf/dali/BolanderL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/BolanderL20
Thomas Bolander, Arnaud Lequen:
Parameterized Complexity of Dynamic Belief Updates. 87-102
- view
  authority control:
- export record
  dblp key:
  - conf/dali/CassanoFAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/CassanoFAC20
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro:
Default Modal Systems as Algebraic Updates. 103-119
- view
  authority control:
- export record
  dblp key:
  - conf/dali/DitmarschLKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/DitmarschLKS20
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
Expressivity of Some Versions of APAL. 120-136
- view
  authority control:
- export record
  dblp key:
  - conf/dali/HatanoS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/HatanoS20
Ryo Hatano, Katsuhiko Sano:
Constructive Dynamic Logic of Relation Changers. 137-154
- view
  authority control:
- export record
  dblp key:
  - conf/dali/Kuznetsov20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/Kuznetsov20
Stepan L. Kuznetsov:
Complexity of Commutative Infinitary Action Logic. 155-169
- view
  authority control:
- export record
  dblp key:
  - conf/dali/LoriniS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/LoriniS20
Emiliano Lorini, Pengfei Song:
Grounding Awareness on Belief Bases. 170-186
- view
  authority control:
- export record
  dblp key:
  - conf/dali/MarinPPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/MarinPPS20
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales:
Ecumenical Modal Logic. 187-204
- view
  authority control:
- export record
  dblp key:
  - conf/dali/Puncochar20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/Puncochar20
Vít Puncochár:
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting. 205-221
- view
  authority control:
- export record
  dblp key:
  - conf/dali/ReicheB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/ReicheB20
Sebastian Reiche, Christoph Benzmüller:
Public Announcement Logic in HOL. 222-238
- view
  authority control:
- export record
  dblp key:
  - conf/dali/Solaki20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/Solaki20
Anthia Solaki:
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. 239-258
- view
  authority control:
- export record
  dblp key:
  - conf/dali/WangA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/WangA20
Yì N. Wáng, Thomas Ågotnes:
Simpler Completeness Proofs for Modal Logics with Intersection. 259-276
- view
  authority control:
- export record
  dblp key:
  - conf/dali/XiongA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/XiongA20
Zuojun Xiong, Thomas Ågotnes:
Arbitrary Propositional Network Announcement Logic. 277-293

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.