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 2010 No 2 (2010), 75–86
Wally Axiomatics of Branching Continuations
Petr Švarný
zveřejněno: 18. 05. 2015
Abstract
Thee motivation behind axiomatization of Branching continuations is present first. Then semantics of Branching continuations are briefly explained.Thereafter we give a short introduction to the axiomatization of temporal logics. At the end we tackle the question how to axiomatize Branching continuations and present some preliminary results and observations.
klíčová slova: branching space-time; branching continuations; axiom; syntax; temporal logic
