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


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