Разрешимость по допустимости модальной логики s4.m.p.q
Автор: Руцкий Алексей Николаевич
Журнал: Вестник Красноярского государственного педагогического университета им. В.П. Астафьева @vestnik-kspu
Рубрика: Математика
Статья в выпуске: 2 (2), 2006 года.
Бесплатный доступ
В статье приведено доказательство разрешимости для допустимых правил вывода модальной логики S4.αm.ξp.ζq. Это позволяет провести доказательство строгой разрешимости интерполяционного свойства модальных логик над S4 и ряда других свойств.
Модальная логика, доказательство разрешимости, разрешимость по допустимости
Короткий адрес: https://sciup.org/144152819
IDR: 144152819
Статья научная