Švarný, Petr (2012) Wally axiomatics of Branching Continuations. [Preprint]
axiomBCont.pdf - Submitted Version
Available under License Creative Commons Attribution Non-commercial Share Alike.
We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.
|Export/Citation:||EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL|
|Keywords:||branching continuations, axioms, temporal logic|
|Subjects:||General Issues > Determinism/Indeterminism
Specific Sciences > Mathematics
|Depositing User:||Petr Švarný|
|Date Deposited:||17 Jul 2012 06:11|
|Last Modified:||17 Jul 2012 06:11|
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Actions (login required)