Infinite Paths in the Situation Calculus: Axiomatization and Properties

Open in new window