Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$

V. V. Rybakov

Krasnoyarsk State University

UDC: 517.11+519.49

Received: 20.02.1989

 English version: Mathematical Notes, 1991, 50:1, 714–718

Bibliographic databases:

• 
• 
•