|
Алгебра и логика, 2013, том 52, номер 4, страницы 461–501
(Mi al598)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Ограниченная интерполяция над модальной логикой $\mathrm S4$
Л. Л. Максимоваab a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Исследуется проблема ограниченной интерполяции и определимости в нормальных расширениях модальной логики $\mathrm S4$. Находятся необходимые условия для ограниченного интерполяционного свойства IPR в рассматриваемых системах и доказывается, что существует лишь конечное число логик, обладающих свойством IPR или проективным свойством Бета PB2. Все эти логики финитно аппроксимируемы и узнаваемы над $\mathrm S4$. Как следствие, проблема ограниченной интерполяции и проективное свойство Бета разрешимы над $\mathrm S4$.
Ключевые слова:
модальная логика $\mathrm S4$, ограниченная интерполяция, проективное свойство Бета.
Поступило: 21.11.2011
Образец цитирования:
Л. Л. Максимова, “Ограниченная интерполяция над модальной логикой $\mathrm S4$”, Алгебра и логика, 52:4 (2013), 461–501; Algebra and Logic, 52:4 (2013), 308–335
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al598 https://www.mathnet.ru/rus/al/v52/i4/p461
|
Статистика просмотров: |
Страница аннотации: | 253 | PDF полного текста: | 77 | Список литературы: | 49 | Первая страница: | 9 |
|