Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик

Рассматривается фрагмент языка модальной логики, состоящий из импликаций $A\to B$, где $A$ и $B$ построены из переменных и константы $\top$ (истина) с помощью связок $\wedge$ и $\diamondsuit_1, \diamondsuit_2, \dots, \diamondsuit_m$. Для полимодальной логики $S5_m$ (логики $m$ отношений эквивалентности) и логики $K4.3$ (логики иррефлексивных линейных порядков) найдена аксиоматизация таких фрагментов и доказана их алгоритмическая разрешимость за полиномиальное время.
Библиография: 23 названия.