RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 1993 Volume 32, Number 2, Pages 117–130 (Mi al2221)
Bases of admissible inference rules of the modal logics S4.2 and S4.2Grz

S. V. Babenyshev


UDC: 517.11+519.48

Received: 10.12.1992


 English version: DOI: 10.1007/BF02260875

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024