Some contributions to the metatheory of the Situation Calculus