default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th DALI 2023: Tbilisi, Georgia
- Nina Gierasimczuk
, Fernando R. Velázquez-Quesada:
Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14401, Springer 2024, ISBN 978-3-031-51776-1 - Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A Spatial Logic with Time and Quantifiers. 1-19 - Qian Chen, Dazhu Li:
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. 20-34 - Penghao Du, Qian Chen:
Axiomatization of Hybrid Logic of Link Variations. 35-51 - Igor Sedlár:
Kleene Algebra of Weighted Programs with Domain. 52-67 - Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata:
Automated Quantum Program Verification in Dynamic Quantum Logic. 68-84 - Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd:
Predictive Theory of Mind Models Based on Public Announcement Logic. 85-103 - Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk:
Learning by Intervention in Simple Causal Domains. 104-118 - Kaibo Xie, Qingyu He, Fenrong Liu:
A Logical Approach to Doxastic Causal Reasoning. 119-135
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.
last updated on 2025-01-04 01:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
