Wally axiomatics of Branching Continuations

Publication Year:
Usage 188
Downloads 188
Social Media 3
Tweets 3
Repository URL:
Švarný, Petr
preprint description
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.