Abstract is missing.
- A Spatial Logic with Time and QuantifiersLaura Bussi, Vincenzo Ciancia, Fabio Gadducci. 1-19 [doi]
- Logic of the Hide and Seek Game: Characterization, Axiomatization, DecidabilityQian Chen, Dazhu Li. 20-34 [doi]
- Axiomatization of Hybrid Logic of Link VariationsPenghao Du, Qian Chen. 35-51 [doi]
- Kleene Algebra of Weighted Programs with DomainIgor Sedlár. 52-67 [doi]
- Automated Quantum Program Verification in Dynamic Quantum LogicTsubasa Takagi, Canh Minh Do, Kazuhiro Ogata 0001. 68-84 [doi]
- Predictive Theory of Mind Models Based on Public Announcement LogicJakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd. 85-103 [doi]
- Learning by Intervention in Simple Causal DomainsKatrine Bjørn Pedersen Thoft, Nina Gierasimczuk. 104-118 [doi]
- A Logical Approach to Doxastic Causal ReasoningKaibo Xie, Qingyu He, Fenrong Liu. 119-135 [doi]