Description of modal logics inheriting admissible rules for S4

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

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

Аннотация: We give a necessary and sufficient condition for any modal logic with fmp to inherit all inference rules admissible in <i>S</i>4. Using this condition we describe all tabular modal logics inheriting inference rules admissible for <i>S</i>4.

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

Издание

Журнал: Interest Group in Pure and Applied Logics. Logic Journal

Выпуск журнала: Т.7, 5

Номера страниц: 655

ISSN журнала: 13670751

Издатель: Oxford University Press

Авторы

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

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

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