Cut-free sequent systems for temporal logic

TitleCut-free sequent systems for temporal logic
Publication TypeJournal Article
Year of Publication2008
AuthorsBrünnler, K, Lange, M
JournalJournal of Logic and Algebraic Programming
Volume76
Pagination216-225
URLhttp://www.iam.unibe.ch/ltgpub/2008/bl08.pdf
DOI10.1016/j.jlap.2008.02.004