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