Maehara-style modal nested calculi
scientific article; zbMATH DE number 7043052
scientific article