Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?

Stphane Demri

Browse the full TABLEAUX paper archive.