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 2010 No 2 (2010), 75–86
Wally Axiomatics of Branching Continuations
Petr Švarný
published online: 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.
keywords: branching space-time; branching continuations; axiom; syntax; temporal logic
periodicity: 2 x per year
ISSN: 0567-8293
E-ISSN: 2464-7055
