|
This article is cited in 10 scientific papers (total in 10 papers)
Undecidable properties of extensions of provability logic
A. V. Chagrov
Received: 06.12.1988
Citation:
A. V. Chagrov, “Undecidable properties of extensions of provability logic”, Algebra Logika, 29:3 (1990), 350–367
Linking options:
https://www.mathnet.ru/eng/al2109 https://www.mathnet.ru/eng/al/v29/i3/p350
|
Statistics & downloads: |
Abstract page: | 54 | Full-text PDF : | 22 |
|