Admissible inference rules of modal WCP-logics : научное издание

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

Год издания: 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. (Плеадес Паблишинг, Лтд)

Персоны

Rimatskiy V. V. (Siberian Federal University)

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

Ядро РИНЦ (eLIBRARY.RU)

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