Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre