Progression of Decomposed Situation Calculus Theories

Open in new window