Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1
В. Р. Кияткин

Эта публикация цитируется в следующих статьяx:

1. А. Н. Руцкий, “Критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha_N$”, Сиб. матем. журн., 48:2 (2007), 396–407      ; A. N. Rutskii, “An admissibility criterion for inference rules with metavariables in the modal logic $S4.\alpha_N$”, Siberian Math. J., 48:2 (2007), 317–326    
2. Е. М. Голованова, “Критерий допустимости правил вывода для некоторого класса $S4$-логик, не обладающих свойством ветвления”, Сиб. матем. журн., 44:4 (2003), 726–736      ; E. M. Golovanova, “A criterion for admissibility of inference rules in some class of $S4$-logics without the branching property”, Siberian Math. J., 44:4 (2003), 568–576