On the Progression of Knowledge in the Situation Calculus

Open in new window