Regular dynamic logic is extended by the program construct $\alpha \cap \beta $, meaning "α and β executed in parallel". In a semantics due to Peleg, each command α is interpreted as a set of pairs (s ...