From Display to Labelled Proofs for Tense Logics.

Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake

Browse the full LFCS paper archive.