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 S4. Using this condition we describe all tabular modal logics inheriting inference rules admissible for S4.

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

Издание

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

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

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

ISSN журнала: 13670751

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

Авторы

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

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

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