Propositional Statecharts, described in [3], are a variation of David Harel’s Statechart formalism [6] intended to enable
both diagrammatic description of an agent interaction protocol, and interpretation as a theory in a dynamic logic. Here we
provide an informal description of a diagrammatic extension to enable modular representation.