Siberian Federal University 
- Issue
- Journal of Siberian Federal University. Mathematics & Physics. 2023 16 (5)
- Authors
- Rimatskiy, Vitaliy V.
- Contact information
- Rimatskiy, Vitaliy V.: Siberian Federal University Krasnoyarsk, Russian Federation;
- Keywords
- modal logic; frame and model Kripke; admissible and globally admissible infere
- Abstract
We describe globally admissible inference rules for logic IPC
- Pages
- 620–627
- EDN
- HOXOPX
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/151674
Journal of Siberian Federal University. Mathematics & Physics / Criterion of Global Admissibility for Logic IPC
Full text (.pdf)