Dynamical Branching

Abstrakt

We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called Dynamic branching logic and show some of its basic properties.

Klíčová slova

• Branching time
• Branching space-times
• Dynamic logic