researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2019
2020
2022
2023
2024
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Aldo Iván Ramírez Abarca
Alexander Knapp
Alexandre Madeira
Alexandru Baltag
Ana Lucia Vargas Sandoval
Andreas Herzig
Andrés R. Saravia
Anthia Solaki
Antonio Yuste-Ginel
Arnaud Lequen
Aybüke Özgün
Carlos Areces
Fernando R. Velázquez-Quesada
Igor Sedlár
Jan M. Broersen
Kaibo Xie
Qian Chen
Raul Fervari
Sonja Smets
Thomas Ågotnes
Filter by Top terms
[+]
OR
AND
NOT
1
action
agents
announcement
applications
belief
causal
dalí
dynamic
epistemic
international
logic
logics
modal
new
non
papers
revised
selected
trends
workshop
DaLi (DaLi)
Editions
Publications
Viewing Publication 1 - 51 from 51
2024
Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Nina Gierasimczuk
,
Fernando R. Velázquez-Quesada
, editors,
Volume 14401 of
Lecture Notes in Computer Science
, Springer,
2024.
[doi]
2023
Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers
Carlos Areces
,
Diana Costa 0001
, editors,
Volume 13780 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
A Spatial Logic with Time and Quantifiers
Laura Bussi
,
Vincenzo Ciancia
,
Fabio Gadducci
.
DaLi 2024
:
1-19
[doi]
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Qian Chen
,
Dazhu Li
.
DaLi 2024
:
20-34
[doi]
Axiomatization of Hybrid Logic of Link Variations
Penghao Du
,
Qian Chen
.
DaLi 2024
:
35-51
[doi]
Kleene Algebra of Weighted Programs with Domain
Igor Sedlár
.
DaLi 2024
:
52-67
[doi]
Automated Quantum Program Verification in Dynamic Quantum Logic
Tsubasa Takagi
,
Canh Minh Do
,
Kazuhiro Ogata 0001
.
DaLi 2024
:
68-84
[doi]
Learning by Intervention in Simple Causal Domains
Katrine Bjørn Pedersen Thoft
,
Nina Gierasimczuk
.
DaLi 2024
:
104-118
[doi]
Predictive Theory of Mind Models Based on Public Announcement Logic
Jakob Dirk Top
,
Catholijn M. Jonker
,
Rineke Verbrugge
,
Harmen de Weerd
.
DaLi 2024
:
85-103
[doi]
A Logical Approach to Doxastic Causal Reasoning
Kaibo Xie
,
Qingyu He
,
Fenrong Liu
.
DaLi 2024
:
119-135
[doi]
2022
A Stit Logic of Intentionality
Aldo Iván Ramírez Abarca
,
Jan M. Broersen
.
DaLi 2023
:
125-153
[doi]
First Steps in Updating Knowing How
Carlos Areces
,
Raul Fervari
,
Andrés R. Saravia
,
Fernando R. Velázquez-Quesada
.
DaLi 2023
:
1-16
[doi]
Parametrized Modal Logic II: The Unidimensional Case
Philippe Balbiani
.
DaLi 2023
:
17-36
[doi]
Relating Kleene Algebras with Pseudo Uninorms
Benjamín R. C. Bedregal
,
Regivan H. N. Santiago
,
Alexandre Madeira
,
Manuel A. Martins 0001
.
DaLi 2023
:
37-55
[doi]
Dynamic Epistemic Logic for Budget-Constrained Agents
Vitaliy Dolgorukov
,
Maksim Gladyshev
.
DaLi 2023
:
56-72
[doi]
Action Models for Coalition Logic
Rustam Galimullin
,
Thomas Ågotnes
.
DaLi 2023
:
73-89
[doi]
Quantum Logic for Observation of Physical Quantities
Tomoaki Kawano
.
DaLi 2023
:
90-105
[doi]
Cautious Distributed Belief
John Lindqvist
,
Fernando R. Velázquez-Quesada
,
Thomas Ågotnes
.
DaLi 2023
:
106-124
[doi]
2020
Expedition in the Update Universe
Guillaume Aucher
.
DaLi 2020
:
1-16
[doi]
Thinking About Causation: A Causal Language with Epistemic Operators
Fausto Barbero
,
Katrin Schulz
,
Sonja Smets
,
Fernando R. Velázquez-Quesada
,
Kaibo Xie
.
DaLi 2020
:
17-32
[doi]
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Luís Soares Barbosa
,
Alexandru Baltag
, editors,
Volume 12005 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model
Gaia Belardinelli
,
Rasmus K. Rendsvig
.
DaLi 2020
:
33-50
[doi]
Parameterized Complexity of Dynamic Belief Updates
Thomas Bolander
,
Arnaud Lequen
.
DaLi 2020
:
87-102
[doi]
Belief Based on Inconsistent Information
Marta Bílková
,
Sabine Frittella
,
Ondrej Majer
,
Sajad Nazari
.
DaLi 2020
:
68-86
[doi]
Default Modal Systems as Algebraic Updates
Valentin Cassano
,
Raul Fervari
,
Carlos Areces
,
Pablo F. Castro
.
DaLi 2020
:
103-119
[doi]
Constructive Dynamic Logic of Relation Changers
Ryo Hatano
,
Katsuhiko Sano
.
DaLi 2020
:
137-154
[doi]
Complexity of Commutative Infinitary Action Logic
Stepan Kuznetsov
.
DaLi 2020
:
155-169
[doi]
Grounding Awareness on Belief Bases
Emiliano Lorini
,
Pengfei Song
.
DaLi 2020
:
170-186
[doi]
Ecumenical Modal Logic
Sonia Marin
,
Luiz Carlos Pereira
,
Elaine Pimentel
,
Emerson Sales
.
DaLi 2020
:
187-204
[doi]
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
Manuel A. Martins
,
Igor Sedlár
, editors,
Volume 12569 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting
Vít Puncochár
.
DaLi 2020
:
205-221
[doi]
Public Announcement Logic in HOL
Sebastian Reiche
,
Christoph Benzmüller
.
DaLi 2020
:
222-238
[doi]
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge
Anthia Solaki
.
DaLi 2020
:
239-258
[doi]
Dealing with Unreliable Agents in Dynamic Gossip
Line van den Berg
,
Malvin Gattinger
.
DaLi 2020
:
51-67
[doi]
Expressivity of Some Versions of APAL
Hans van Ditmarsch
,
Mo Liu
,
Louwe B. Kuijer
,
Igor Sedlár
.
DaLi 2020
:
120-136
[doi]
Simpler Completeness Proofs for Modal Logics with Intersection
Yì N. Wáng
,
Thomas Ågotnes
.
DaLi 2020
:
259-276
[doi]
Arbitrary Propositional Network Announcement Logic
Zuojun Xiong
,
Thomas Ågotnes
.
DaLi 2020
:
277-293
[doi]
2019
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings
Aldo Iván Ramírez Abarca
,
Jan M. Broersen
.
DaLi 2020
:
171-189
[doi]
The Logic of AGM Learning from Partial Observations
Alexandru Baltag
,
Aybüke Özgün
,
Ana Lucia Vargas Sandoval
.
DaLi 2020
:
35-52
[doi]
Resource Separation in Dynamic Logic of Propositional Assignments
Joseph Boudou
,
Andreas Herzig
,
Nicolas Troquard
.
DaLi 2020
:
155-170
[doi]
A Four-Valued Hybrid Logic with Non-dual Modal Operators
Diana Costa
,
Manuel A. Martins
.
DaLi 2020
:
88-103
[doi]
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
Raul Fervari
,
Francisco Trucco
,
Beta Ziliani
.
DaLi 2020
:
3-18
[doi]
On the Construction of Multi-valued Concurrent Dynamic Logics
Leandro Gomes
.
DaLi 2020
:
218-226
[doi]
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
Rolf Hennicker
,
Alexander Knapp
,
Alexandre Madeira
,
Felix Mindt
.
DaLi 2020
:
19-34
[doi]
Persuasive Argumentation and Epistemic Attitudes
Carlo Proietti
,
Antonio Yuste-Ginel
.
DaLi 2020
:
104-123
[doi]
Iterative Division in the Distributive Full Non-associative Lambek Calculus
Igor Sedlár
.
DaLi 2020
:
141-154
[doi]
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection
Sonja Smets
,
Fernando R. Velázquez-Quesada
.
DaLi 2020
:
71-87
[doi]
Bringing Belief Base Change into Dynamic Epistemic Logic
Marlo Souza
,
Álvaro F. Moreira
.
DaLi 2020
:
190-205
[doi]
The Trace Modality
Dominic Steinhöfel
,
Reiner Hähnle
.
DaLi 2020
:
124-140
[doi]
A Dynamic Logic for QASM Programs
Carlos Tavares
.
DaLi 2020
:
209-217
[doi]
A Dynamic Epistemic Logic Analysis of the Equality Negation Task
Éric Goubault
,
Marijana Lazic
,
Jérémy Ledent
,
Sergio Rajsbaum
.
DaLi 2020
:
53-70
[doi]
Sign in
or
sign up
to see more results.