|
This article is cited in 1 scientific paper (total in 1 paper)
Extensions of the provability logic
A. U. Muravitskii
Received: 30.12.1981
Citation:
A. U. Muravitskii, “Extensions of the provability logic”, Mat. Zametki, 33:6 (1983), 915–927; Math. Notes, 33:6 (1983), 469–475
Linking options:
https://www.mathnet.ru/eng/mzm5763 https://www.mathnet.ru/eng/mzm/v33/i6/p915
|
Statistics & downloads: |
Abstract page: | 196 | Full-text PDF : | 101 | First page: | 1 |
|