AUC PHILOSOPHICA ET HISTORICA
AUC Philosophica et Historica (Acta Universitatis Carolinae Philosophica et Historica) is a multidisciplinary academic journal focused on the humanities with more than 50 years of tradition.
The journal is indexed in CEEOL, DOAJ, and EBSCO.
AUC PHILOSOPHICA ET HISTORICA, Vol 2015 No 1 (2015), 93–101
Dynamical branching
Petr Švarný
DOI: https://doi.org/10.14712/24647055.2016.11
published online: 08. 08. 2016
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
periodicity: 2 x per year
ISSN: 0567-8293
E-ISSN: 2464-7055