Тип публикации: статья из журнала
Год издания: 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