Charles B. Cross, Temporal Necessity and the Conditional, Studia Logica: An International Journal for Symbolic Logic, Vol. 49, No. 3 (1990), pp. 345-363 ...