This article is cited in 1 paper

On two extensions of the logic of provability GL

V. Yu. Shavrukov

M. V. Lomonosov Moscow State University

UDC: 510.65

MSC: Primary 03B45; Secondary 03C80

Received: 25.11.1988

 English version: Mathematics of the USSR-Sbornik, 1991, 69:1, 255–270

Bibliographic databases:

• 
• 
• 
•