Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus