Алгебра и логика,
2007, том 46, номер 1, страницы 103–119
(Mi al12)
|
Эта публикация цитируется в
3 статьях
Автоматическое распознавание интерполяции в модальных исчислениях
П. А. Шрайнер Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Исследуются вопросы автоматического распознавания интерполяционных свойств в модальных исчислениях, расширяющих логики
$S5$ и
$S4.3$.
Ключевые слова:
интерполяционное свойство Крейга, модальные исчисления.
УДК:
510.64 Поступило: 21.07.2006
Окончательный вариант: 06.12.2006
© , 2024
Полный текст:
PDF файл (192 kB)
