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


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

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