Flow of Time in BST/BCont Models and Related Semantical Observations

Abstrakt

First the Branching Space-time and Branching Continuations models are briefly presented. We compare their properties with the traditional definition of a~Flow of Time from physics and we point out the difficulties of it in relativistic time.

A solution of a~Flow of Time in the given models is then proposed.

Klíčová slova

• branching time
• branching continuations
• temporal logic
• flow of time
• general relativity