Abstract:Time is the grand stage where human activities take place (rational or otherwise). And the view of a branching temporal universe, or tree of possible events, with our actual history linearly advancing through it, is a widely shared cultural idea, not confined to Academia (cf. Borges brilliant 1941 essayEl Jardin de senderos que se bifurcan). Even though logic is often considered a study of timeless propositions, temporal languages and logics over tree structures have a long tradition. Philosophers have studied temporal structure and temporal reasoning since the 1950s, from the ‘tense logic’ of Prior (1967) to the ‘STIT’ system of Belnap et al. (2001). Moreover, starting from 1970s, computer scientists have joined in, and developed many further flavours of temporal logic, with major strands such as Pnueli on program correctness (Manna and Pnueli 1991), Emerson and Clarke on process specification and verification (Emerson and Clarke 1980, 1982), Reiter on the situation calculus in AI (Reiter 2001), and Thomas on the automata-theoretic foundations of computing (Thomas 1990). In addition, the pure firstand second-order logic of tree-like structures, starting from Rabin’s classic decidability result (Rabin 1969), provides deeper background (cf. Gradel et al. (2002)). The chapter by Hodkinson and Reynolds on ‘Temporal Logic’ in the Handbook of Modal Logic (Hodkinson and Reynolds 2006) brings together many of these trends in one mathematical narrative. But the field of reasoning in, and about, time can be mapped out in many further ways: Van Benthems chapter ‘Temporal Logic’ in the

Building upon the Foundations of Branching Space-Times

The Foundations of Branching Space-Times

Two Options for the Branching of Histories

Branching in Relativistic Space-Times

On Minkowskian Branching Structures

A Branching Space-Times Perspective on Presentism

Temporal Logics of Agency

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

Learning Branching-Time Properties in CTL and ATL via Constraint Solving

Automata-Theoretic Characterisations of Branching-Time Temporal Logics

Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum

Recursive PGFs for BSTs and DSTs

Infinite Games and Temporal Evolution

Branch dependence in the "consistent histories" approach to quantum mechanics

Natural Topology

The topology of critical processes, II (The fundamental category)

On Finite Alphabets and Infinite Bases

A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories

Spacetime-topological events

Towards Point-Free Spacetimes

Bounded Model Checking for Branching-Time Temporal Logic