|
This article is cited in 4 scientific papers (total in 4 papers)
Decidability of the problem of the admissibility of inference
rules in the modal logics S4.2 and S4.2 Grz and the super-intuitionistic logic KC
S. V. Babenyshev Krasnoyarsk State University
Received: 05.04.1992
Citation:
S. V. Babenyshev, “Decidability of the problem of the admissibility of inference
rules in the modal logics S4.2 and S4.2 Grz and the super-intuitionistic logic KC”, Algebra Logika, 31:4 (1992), 341–359
Linking options:
https://www.mathnet.ru/eng/al2197 https://www.mathnet.ru/eng/al/v31/i4/p341
|
Statistics & downloads: |
Abstract page: | 25 | Full-text PDF : | 5 |
|