|
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: | 260 | Full-text PDF : | 77 | References: | 53 | First page: | 3 |
|