Nominale Logik der Zeit

Das historisch erste System einer temporalen Logik auf der Basis einer Zeittheorie, die bereits Leibniz bei seinem Disput mit Clarke/Newton vorgeschlagen hat.