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

Год издания: 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

• Rybakov VV
• Gencer C
• Oner T

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