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, 1992, Volume 31, Number 4,Pages <nobr>341

JOURNALS // Algebra i logika // Archive

Algebra Logika, 1992 Volume 31, Number 4, Pages 341–359 (Mi al2197)

This article is cited 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

UDC: 517.11

Received: 05.04.1992

Fulltext: PDF file (1636 kB)
Cited by

English version: DOI: 10.1007/BF02259929

Bibliographic databases: