В. Ф. Мурзина, “Отсутствие интерполяционного свойства для исчислений $L\alpha$ и $Lf$”, Сиб. матем. журн., 2008, том 49, номер 1,страницы 183

Отсутствие интерполяционного свойства для исчислений $L\alpha$ и $Lf$

В. Ф. Мурзина

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Доказывается отсутствие интерполяционного свойства Крейга для полимодальных исчислений, связанных с некоторыми пространствами Ершова.

Ключевые слова: модальная логика, интерполяционное свойство, топологическое пространство.

УДК: 510.643

Статья поступила: 10.07.2006