|
Алгебра и логика, 2002, том 41, номер 5, страницы 585–609
(Mi al199)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Информационные фреймы Барвайса и модальные логики
В. В. Рыбаков
Аннотация:
Исследуются введенные Дж. Барвайсом информационные фреймы и решается поставленная им задача аксиоматизации модальных логик, порожденных информационными фреймами. Построены аксиоматические системы для модальных логик (i) всех полных информационных фреймов, (ii) всех правильных и полных информационных фреймов, (iii) всех наследственных и полных информационных фреймов, (iv) всех полных, правильных и наследственных информационных фреймов и (v) всех совместных и полных информационных фреймов. Вводится понятие слабой модальной логики и показывается, что слабая модальная логика, порожденная всеми информационными фреймами, совпадает с $K$, а порожденная всеми наследственными информационными фреймами – с $K4$. В развитие общей теории доказывается, что всякая полная по Крипке модальная логика является модальной логикой некоторого класса информационных фреймов и что модальная логика, порожденная произвольным классом полных, разреженных и вполне классифицированных информационных фреймов, полна по Крипке.
Ключевые слова:
представление знания, информация, информационный поток, информационный фрейм, модальная логика, модель Крипке.
Поступило: 29.03.2000
Образец цитирования:
В. В. Рыбаков, “Информационные фреймы Барвайса и модальные логики”, Алгебра и логика, 41:5 (2002), 585–609; Algebra and Logic, 41:5 (2002), 323–336
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al199 https://www.mathnet.ru/rus/al/v41/i5/p585
|
Статистика просмотров: |
Страница аннотации: | 436 | PDF полного текста: | 209 | Список литературы: | 51 | Первая страница: | 1 |
|