|
|
Journal of Siberian Federal University. Mathematics & Physics, 2008, Volume 1, Issue 1, Pages 83–91
(Mi jsfu10)
|
 |
|
 |
This article is cited in 4 scientific papers (total in 4 papers)
An Explicit Basis for Admissible Rules of Modal Logics of Finite Width
Vitaly V. Rimatsky
Institute of Architecture and Construction, Siberian Federal University
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.
Keywords:
modal logic, inference rule, Kripke frame and model, admissible rule, basis of admissible rules.
Received: 10.10.2007
Accepted: 20.10.2007
Citation:
Vitaly V. Rimatsky, “An Explicit Basis for Admissible Rules of Modal Logics of Finite Width”, J. Sib. Fed. Univ. Math. Phys., 1:1 (2008), 83–91
Linking options:
https://www.mathnet.ru/eng/jsfu10 https://www.mathnet.ru/eng/jsfu/v1/i1/p83
|
| Statistics & downloads: |
| Abstract page: | 273 | | Full-text PDF : | 83 | | References: | 43 |
|
Citation in format AMSBIB
Contact us: