Алгебра и логика,
1992, том 31, номер 1, страницы 83–93
(Mi al2183)
|
Эта публикация цитируется в
18 статьях
Разрешимая модальная логика с неразрешимой проблемой допустимости правил вывода
А. В. Чагров
Аннотация:
Строится разрешимое нормальное расширение модальной логики К4, проблема допустимости правил вывода в которой неразрешима.
УДК:
517.11+519.48
Поступило: 20.03.1991
© , 2024
Полный текст:
PDF файл (1106 kB)
