Sharpening the Incompleteness of the Duration Calculus

We prove that the particularly narrow subset of the duration calculus which is defined by the BNFφ::=⊥|⌈S⌉|A|φ⇒φ|(φ;φ) is not recursively axiomatisable or, in other words, incomplete.