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