Cut-free display calculi for nominal tense logics (1999)

by S Demri, R Goré
Venue:Conference on Tableaux Calculi and Related Methods (TABLEAUX