Cut-elimination and proof search for bi-intuitionistic tense logic, in: (2010)

by R Gore, L Postniece, A Tiu
Venue:Advances in Modal Logic