A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic.

Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Gor

Browse the full TABLEAUX paper archive.