|
Sibirskii Matematicheskii Zhurnal, 2009, Volume 50, Number 4, Pages 872–882
(Mi smj2010)
|
|
|
|
An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$
V. V. Rimatskii Institute of Urban Construction, Management and Regional Economics, Siberian Federal University, Krasnoyarsk
Abstract:
We study bases for the admissible inference rules in a broad class of modal logics. We construct an explicit basis for all admissible rules in the logics $S4.1$, $Grz$, and their extensions whose number is at least countable. The resulting basis consists of an infinite sequence of rules in a concise and simple form. In the case of a logic of finite width a basis for all admissible rules consists of a finite sequence of rules.
Keywords:
modal logic, Kripke frame and model, admissible inference rule, basis for admissible rules.
Received: 05.03.2007
Citation:
V. V. Rimatskii, “An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$”, Sibirsk. Mat. Zh., 50:4 (2009), 872–882; Siberian Math. J., 50:4 (2009), 692–699
Linking options:
https://www.mathnet.ru/eng/smj2010 https://www.mathnet.ru/eng/smj/v50/i4/p872
|
Statistics & downloads: |
Abstract page: | 235 | Full-text PDF : | 67 | References: | 41 | First page: | 3 |
|