|
Sibirskii Matematicheskii Zhurnal, 2002, Volume 43, Number 6, Pages 1350–1361
(Mi smj1375)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
An inheritance criterion for the admissible inference rules of $K4$
A. N. Rutskii, B. R. Fedorishin Krasnoyarsk State University
Abstract:
We give a criterion for inheritance of the admissible inference rules of the modal logic $K4$ by the finitely approximable modal logics extending $K4$. We give a negative solution to the question of inheritance of the admissible rules of $K4$ by tabular logics. We exhibit a series of examples of modal logics which inherit or fail to inherit the admissible inference rules of $K4$.
Received: 10.01.2002
Citation:
A. N. Rutskii, B. R. Fedorishin, “An inheritance criterion for the admissible inference rules of $K4$”, Sibirsk. Mat. Zh., 43:6 (2002), 1350–1361; Siberian Math. J., 43:6 (2002), 1094–1102
Linking options:
https://www.mathnet.ru/eng/smj1375 https://www.mathnet.ru/eng/smj/v43/i6/p1350
|
Statistics & downloads: |
Abstract page: | 184 | Full-text PDF : | 66 |
|