Тип публикации: статья из журнала
Год издания: 2024
Идентификатор DOI: 10.1134/S0037446624010142
Ключевые слова: modal logic, Kripke frame, Kripke model, admissible inference rule, basis of admissible rules
Аннотация: We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent basis for the admissible rules of these logics. The resulting basis consists of an infinite sequence of rules in compact and simple form.
Журнал: Siberian Mathematical Journal
Выпуск журнала: Т.65, №1
Номера страниц: 180-197
ISSN журнала: 00374466
Место издания: Новосибирск
Издатель: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд)