2-sequent calculus: A proof theory of modalities
scientific article; zbMATH DE number 149963