|
This article is cited in 1 scientific paper (total in 1 paper)
On two extensions of the logic of provability GL
V. Yu. Shavrukov M. V. Lomonosov Moscow State University
Received: 25.11.1988
Citation:
V. Yu. Shavrukov, “On two extensions of the logic of provability GL”, Math. USSR-Sb., 69:1 (1991), 255–270
Linking options:
https://www.mathnet.ru/eng/sm1153https://doi.org/10.1070/SM1991v069n01ABEH001236 https://www.mathnet.ru/eng/sm/v181/i2/p240
|
|