TY  - JOUR
AU  - M. V. Svyatlovskiy
TI  - Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics
JO  - Matematičeskie zametki
PY  - 2018
SP  - 884
EP  - 901
VL  - 103
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2018_103_6_a7/
LA  - ru
ID  - MZM_2018_103_6_a7
ER  -