Introduction: Logic and the study of time -- Introduction: Logic and the study of time -- Time and Logic - From Synthesis to Dissociation -- The sea-fight tomorrow -- The master argument of Diodorus Cronus -- The study of tenses in the middle ages -- Temporal ampliation -- The duration of the present -- The logic of beginning and ending -- Time and consequentia -- Temporalis - the logic of 'While' -- Human freedom and divine foreknowledge -- The downfall of medieval tense-logic -- Logic as a timeless science -- Time and Logic Reunited -- The 19th century and Boolean logic -- C.S. Peirce on time and modality -- ?ukasiewicz's contribution to temporal logic -- A three-point structure of tenses -- A.N. Prior's tense-logic -- The idea of branching time -- Tense logic and special relativity -- Some basic systems of temporal logic -- Four grades of tense-logical involvement -- Metric tense logic -- Modern issues in temporal logic -- Two paradigms of temporal logic -- Indeterministic tense logic -- Leibnizian tense logic -- Tense logic and counterfactual reasoning -- Logic of durations -- Graphs for time and modality -- Temporal logic and computer science -- Conclusion.