AUC PHILOSOPHICA ET HISTORICA
AUC Philosophica et Historica je víceoborový akademický časopis zaměřený na humanitní a společenskovědné obory (filozofie, psychologie, pedagogika, sociologie, obecné, české a hospodářské dějiny, pomocné vědy historické a archivnictví, etnologie).
Časopis je indexován v databázích CEEOL, DOAJ a 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
zveřejněno: 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.
klíčová slova: branching time; branching space-times; dynamic logic
