Repository URL:
http://philsci-archive.pitt.edu/id/eprint/9231
Author(s):
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.