Video 1: On Prior’s way from his “Three Little Essays” (1931) to his discovery of tense logic and his work with existential problems.
Video 2: On Prior’s introduction of tense-logic, its relations to modal logic and its use in the analysis of arguments in favor of determinism.
Video 3: On Prior’s introduction use of the idea of branching time in the presentation of various models.