长垣产业园区科技文献服务平台

会议文集


文集名Dynamic Logic. New Trends and Applications
会议名5th International Workshop on Dynamic Logic (DaLi 2023)
中译名《第五届国际动态逻辑研讨会》
会议日期September 15-16, 2023
会议地点Tbilisi, Georgia
出版年2024
馆藏号350854


题名作者出版年
A Spatial Logic with Time and QuantifiersLaura Bussi; Vincenzo Ciancia; Fabio Gadducci2024
Logic of the Hide and Seek Game: Characterization, Axiomatization, DecidabilityQian Chen; Dazhu Li2024
Axiomatization of Hybrid Logic of Link VariationsPenghao Du; Qian Chen2024
Kleene Algebra of Weighted Programs with DomainIgor Sedlar2024
Automated Quantum Program Verification in Dynamic Quantum LogicTsubasa Takagi; Canh Minh Do; Kazuhiro Ogata2024
Predictive Theory of Mind Models Based on Public Announcement LogicJakob Dirk Top; Catholijn Jonker; Rineke Verbrugge; Harmen de Weerd2024
Learning by Intervention in Simple Causal DomainsKatrine Bjorn Pedersen Thoft; Nina Gierasimczuk2024
A Logical Approach to Doxastic Causal ReasoningKaibo Xie; Qingyu He; Fenrong Liu2024



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024