A Simple and Tractable Extension of Situation Calculus to Epistemic Logic