Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents.

Rajeev Gor, Bjrn Lellmann

Browse the full TABLEAUX paper archive.