![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd DALI 2020: Prague, Czech Republic
- 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 - Guillaume Aucher:
Expedition in the Update Universe. 1-16 - Fausto Barbero, Katrin Schulz, Sonja Smets
, Fernando R. Velázquez-Quesada, Kaibo Xie:
Thinking About Causation: A Causal Language with Epistemic Operators. 17-32 - Gaia Belardinelli
, Rasmus K. Rendsvig
:
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model. 33-50 - Line van den Berg
, Malvin Gattinger
:
Dealing with Unreliable Agents in Dynamic Gossip. 51-67 - Marta Bílková
, Sabine Frittella
, Ondrej Majer
, Sajad Nazari
:
Belief Based on Inconsistent Information. 68-86 - Thomas Bolander
, Arnaud Lequen
:
Parameterized Complexity of Dynamic Belief Updates. 87-102 - Valentin Cassano, Raul Fervari, Carlos Areces
, Pablo F. Castro:
Default Modal Systems as Algebraic Updates. 103-119 - Hans van Ditmarsch
, Mo Liu, Louwe B. Kuijer
, Igor Sedlár
:
Expressivity of Some Versions of APAL. 120-136 - Ryo Hatano
, Katsuhiko Sano
:
Constructive Dynamic Logic of Relation Changers. 137-154 - Stepan L. Kuznetsov
:
Complexity of Commutative Infinitary Action Logic. 155-169 - Emiliano Lorini
, Pengfei Song
:
Grounding Awareness on Belief Bases. 170-186 - Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel
, Emerson Sales
:
Ecumenical Modal Logic. 187-204 - Vít Puncochár
:
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting. 205-221 - Sebastian Reiche
, Christoph Benzmüller
:
Public Announcement Logic in HOL. 222-238 - Anthia Solaki:
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. 239-258 - Yì N. Wáng
, Thomas Ågotnes
:
Simpler Completeness Proofs for Modal Logics with Intersection. 259-276 - Zuojun Xiong
, Thomas Ågotnes
:
Arbitrary Propositional Network Announcement Logic. 277-293
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.