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 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

Авторы

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.