Repository URL:
Petr Švarný
Most Recent Tweet View All Tweets
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.

This preprint has 0 Wikipedia mention.