Situation Calculus Semantics for Actual Causality

Open in new window