О логиках, имеющих диагностические формулы относительно минимального исчисления

Через $P$ обозначается исчисление, полученное добавлением к минимальному исчислению $M$ схемы аксиом $\bot\vee(\bot\supset p)$. Полностью описаны расширения исчисления $P$, имеющие диагностические формулы относительно $M$.
Библиогр. 2.