О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$

Рассматривается фрагмент полимодальной логики доказуемости $\mathbf{GLP}$ в языке со связками $\top$, $\wedge$ и $\langle n\rangle$ для всех $n\in\omega$. Для него построена дедуктивная система, предложена семантика Крипке и получена полиномиальная оценка сложности разрешающей процедуры.
Библиография: 14 названий.