Cut-free Gentzen calculus for multimodal CK
scientific article; zbMATH DE number 6014268
scientific article