Abstrakt
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.