|
This article is cited in 7 scientific papers (total in 7 papers)
Undecidable properties of extensions of provability logic. II
A. V. Chagrov
Received: 19.04.1989
Citation:
A. V. Chagrov, “Undecidable properties of extensions of provability logic. II”, Algebra Logika, 29:5 (1990), 613–623
Linking options:
https://www.mathnet.ru/eng/al2124 https://www.mathnet.ru/eng/al/v29/i5/p613
|
Statistics & downloads: |
Abstract page: | 60 | Full-text PDF : | 19 |
|