Diodorus argued that the following three propositions cannot all be true [Mates 1961, p.38] : (Dl) Every proposition true about the past is necessary. (D2) An impossible proposition cannot follow from (or after) a possible one. (D3) There is a proposition...
Temporal Logic: From Ancient Ideas to Artificial Intelligence - Page 15
by Peter ěhrstr°m, Per F. V. Hasle - 1995 - 413 pages
Limited preview -