Сибирский федеральный университет

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

Год издания: 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 there 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

• Rybakov V.V. (Siberian Federal University)

• Web of Science Core Collection
• Ядро РИНЦ (eLIBRARY.RU)