DaLí

Keyphrases

Publications

volume 14401, 2024

Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers DaLí 14401 (2024)

2023

Kaibo Xie, Qingyu He, Fenrong Liu
A Logical Approach to Doxastic Causal Reasoning. DaLí (2023)
Qian Chen, Dazhu Li
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. DaLí (2023)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A Spatial Logic with Time and Quantifiers. DaLí (2023)
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Automated Quantum Program Verification in Dynamic Quantum Logic. DaLí (2023)
Igor Sedlár
Kleene Algebra of Weighted Programs with Domain. DaLí (2023)
Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk
Learning by Intervention in Simple Causal Domains. DaLí (2023)
Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd
Predictive Theory of Mind Models Based on Public Announcement Logic. DaLí (2023)
Penghao Du, Qian Chen
Axiomatization of Hybrid Logic of Link Variations. DaLí (2023)

volume 13780, 2023

Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers DaLí 13780 (2023)

2022

2020

volume 12569, 2020

Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers DaLí 12569 (2020)

volume 12005, 2020

Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings DaLí 12005 (2020)

2019