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

Персоны

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