Wally axiomatics of Branching Continuations

Publication Year:
2012
Usage 188
Downloads 188
Social Media 3
Tweets 3
Repository URL:
http://philsci-archive.pitt.edu/id/eprint/9231
Author(s):
Š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.