Информационные фреймы Барвайса и модальные логики

Перевод названия: Barwise's Information Frames and Modal Logics

Тип публикации: статья из журнала

Год издания: 2002

Ключевые слова: knowledge presentation, information, information flow, information frame, modal logic, Kripke model, представление знания, информация, информационный поток, информационный фрейм, модальная логика, модель Крипке

Аннотация: Исследуются введенные Дж. Барвайсом информационные фреймы и решается поставленная им задача аксиоматизации модальных логик, порожденных информационными фреймами. Построены аксиоматические системы для модальных логик (i) всех полных информационных фреймов, (ii) всех правильных и полных информационных фреймов, (iii) всех наследственных и полных информационных фреймов, (iv) всех полных, правильных и наследственных информационных фреймов и (v) всех совместных и полных информационных фреймов. Вводится понятие слабой модальной логики и показывается, что слабая модальная логика, порожденная всеми информационными фреймами, совпадает с K, а порожденная всеми наследственными информационными фреймами - с K4. В развитие общей теории доказывается, что всякая полная по Крипке модальная логика является модальной логикой некоторого класса информационных фреймов и что модальная логика, порожденная произвольным классом полных, разреженных и вполне классифицированных информационных фреймов, полна по Крипке.

Ссылки на полный текст

Издание

Журнал: Алгебра и логика

Выпуск журнала: Т.41, 5

Номера страниц: 585-609

ISSN журнала: 03739252

Место издания: Новосибирск

Издатель: Общественный фонд "Сибирский фонд алгебры и логики"

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.