A spatial logic with time and quantifiers
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Axiomatization of Hybrid Logic of Link Variations
Kleene Algebra of Weighted Programs With Domain
Automated Quantum Program Verification in Dynamic Quantum Logic
Predictive Theory of Mind Models Based on Public Announcement Logic
Learning by Intervention in Simple Causal Domains
A Logical Approach to Doxastic Causal Reasoning.