Petr Svarny

The article discusses the relation between two intuitive properties of time, namely its flow and branching. Both properties are introduced first in an informal way and compared. The conclusion of this informal analysis is that the two properties do not entail each other nor are they in contradiction. In order to verify this, we briefly introduced the branching temporal structures called branching space-time, branching continuation and their versions Minkowski branching structure and branching time with Instants. Two possible ways how to formalize flow of time are given, one based on the definition of flow of time from temporal logics and the other based on relativistic physics. The latter is used to define flow of time with the use of linearly ordered points on worldines while respecting the ontological definiteness given by the difference of the past and the future. This is formalized in each of the branching models and it is concluded by comparing the resulting properties that branching and flow, even in the formal sense, do not entail each other. However, notions connected with flow of time represent a useful basis for semantics of the branching models

The article discusses the role of observers in perception of flow of time. It compares two established logics, Branching Space-times and Branching Continuations to a new logic based on Barbour’s timeless approach to physics. The article shows that the introduction of observer based valuation allows for the same evaluation of statements in both temporal and atemporal logics. We show this on the evaluation of statements about the future. Therefore we reach the conclusion that ontological time is not necessary for the evaluation of temporal statements.