Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.

Lemmon and Scott introduced the notion of a modal system's providing the rule of disjunction. No consistent normal extension of KB provides this rule. An alternative rule is defined, which KDB, KTB, and other systems are shown to provide, while K and other systems provide the Lemmon-Scott rule but not the alternative rule. If S provides the alternative rule then either —A is a theorem of S or A is whenever A -> ΠA is a theorem; the converse fails. It (...) is suggested that systems with this property are appropriate for handling sorites paradoxes, where D is read as 'clearly*. The S4 axiom fails in such systems. (shrink)