2-sequent calculus: A proof-theory of modalities (1992)

by A Masini
Venue:Annals of Pure and Applied Logic