Sequent calculi for nominal tense logics: a step towards mechanization (1999)

by S Demri
Venue:Conference on Tableaux Calculi and Related Methods (TABLEAUX