"Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN" - читать интересную книгу автора (Руцкий А. Н.)