Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
scientific article; zbMATH DE number 6930076
scientific article