A logic for synchronous transitions with dynamic conflict resolution