Dynamical Branching

Abstract

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.

Keywords

• Branching time
• Branching space-times
• Dynamic logic