Faces of monotonicity and wisdom formulas problem

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

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

Ключевые слова: Inward monotonicity, Knowledge represen-tation, Logical monotonicity, Modal logic, Non-standard logic

Аннотация: In the paper1 we consider several aspects of monotonicity in propositional logics and the related property of wisdom of formulas connected with the problem of full logical omniscience. We present theorems providing necessary and suffcient conditions for formulas to be monotone and to be wisdom in certain transitive modal logics. A large class of transitive modal logics with the property of inward monotonicy of formulas decidable is found.

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

Издание

Журнал: Bulletin of the Section of Logic

Выпуск журнала: Vol. 29, Is. 4

Номера страниц: 181-192

ISSN журнала: 01380680

Авторы

  • Rybakov V.V. (Mathematical Department, Krasnoyarsk University)
  • Fedorishin B. (Mathematical Department, Krasnoyarsk University)

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

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

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