  For Diodorus, a conditional proposition is true if it neither was nor is possible that its antecedent is true and its consequent false (SE, Against the Logicians 2.115-117). The reference to time in this account (‘was … is possible’) suggests that the possibility of a truth-value change left open by Philo's truth-condition was one of the factors to be improved on.