This article is cited in 10 papers

Undecidable properties of extensions of provability logic

A. V. Chagrov


UDC: 517.11

Received: 06.12.1988

 English version: DOI: 10.1007/BF01979939

Bibliographic databases:

•