Siberian Federal University 
- Issue
- Journal of Siberian Federal University. Mathematics & Physics. 2008 1 (1)
- Authors
- Vitaly V.Rimatsky
- Contact information
- Институт архитектуры и строительства, Сибирский федеральный университет, пр. Свободный 82, Красноярск, 660041, Россия, e-mail:
- Keywords
- modal logic; inference rule; Kripke frame and model; admissible rule; basis of admissible rules
- Abstract
We find an explicit basis for all admissible rules of a representative (at least countable) class of modal logics of finite widht extending the logic S4. Our basis consists of a sequence of rules which have a compact and simple form.
- Pages
- 85-93
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/614
Journal of Siberian Federal University. Mathematics & Physics / An Explicit Basis for Admissible Rules of Modal Logics of Finite Width
Full text (.pdf)