Decidable Reasoning in a Fragment of the Epistemic Situation Calculus

Open in new window