HEREDITARILY STRUCTURALLY COMPLETE MODAL-LOGICS

Описание

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

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

Идентификатор DOI: 10.2307/2275521

Ключевые слова: INFERENCE

Аннотация: We consider structural completeness in modal logics. The main result is the necessary and sufficient condition for modal logics over K4 to be hereditarily structurally complete: a modal logic lambda is hereditarily structurally complete iff lambda is not included in any logic from the list of twenty special tabular logics. Hence thПоказать полностьюere are exactly twenty maximal structurally incomplete modal logics above K4 and they are all tabular.

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

Издание

Журнал: JOURNAL OF SYMBOLIC LOGIC

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

Номера страниц: 266-288

ISSN журнала: 00224812

Место издания: CHAMPAIGN

Издатель: ASSN SYMBOLIC LOGIC INC

Персоны

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