On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. - Mohammad Hossein Karimian; Shakil M. Khan 001; Yves Lespérance (Canadian AI, 2025)