Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics. (English. Russian original) Zbl 1491.03016
Math. Notes 103, No. 6, 952-967 (2018); translation from Mat. Zametki 103, No. 6, 884-901 (2018).