DESCRIPTION OF MODAL LOGICS WHICH ENJOY CO-COVER PROPERTY

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

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

Идентификатор DOI: 10.33048/semi.2022.19.026

Ключевые слова: admissible rule, inference rule, kripke frame and model, modal logic

Аннотация: Here we use admissible rules to determine whenever modal logic satisfies weak co-cover property. We prove that logic λ over S4 satisfies such property iff the given set of rules are admissible in λ. © 2022. Rimatskiy V.V. All Rights Reserved.

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

Издание

Журнал: Siberian Electronic Mathematical Reports

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

Номера страниц: 316-325

ISSN журнала: 18133304

Издатель: Sobolev Institute of Mathematics

Персоны

Rimatskiy V.V. (Siberian Federal University, 79, SVOBODNY AVE., Krasnoyarsk, 660041, Russian Federation)

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

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