RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1990 Volume 48, Issue 1, Pages 3–9 (Mi mzm3276)
Uniform arithmetical completeness of modal provability logics

S. N. Artemov

V. A. Steklov Mathematical Institute, USSR Academy of Sciences

UDC: 510.65

Received: 21.01.1988


 English version: Mathematical Notes, 1990, 48:1, 625–629

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026