Labeled Natural Deduction Systems for a Family of Tense Logics.

Luca Vigan, Marco Volpe

Browse the full TIME paper archive.