Artemov Sergei Nikolaevich

Publications in Math-Net.Ru

1. Kolmogorov and Gödel's approach to intuitionistic logic: current developments
   
   Uspekhi Mat. Nauk, 59:2(356) (2004),  9–36
2. Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs
   
   Trudy Mat. Inst. Steklova, 242 (2003),  44–58
3. On first order logic of proofs
   
   Mosc. Math. J., 1:4 (2001),  475–490
4. Uniform arithmetical completeness of modal provability logics
   
   Mat. Zametki, 48:1 (1990),  3–9
5. Degrees of insolubility of extensions of arithmetic by true propositions
   
   Uspekhi Mat. Nauk, 43:2(260) (1988),  127–128
6. Effective predicate logics of provability
   
   Dokl. Akad. Nauk SSSR, 297:3 (1987),  521–523
7. Superintuitionistic logics that have a provability interpretation
   
   Dokl. Akad. Nauk SSSR, 291:6 (1986),  1289–1291
8. Numerically correct logics of provability
   
   Dokl. Akad. Nauk SSSR, 290:6 (1986),  1289–1292
9. Nonarithmeticity of truth predicate logics of provability
   
   Dokl. Akad. Nauk SSSR, 284:2 (1985),  270–271
10. On modal logics axiomatizing provability
    
    Izv. Akad. Nauk SSSR Ser. Mat., 49:6 (1985),  1123–1154


11. Larisa L'vovna Maksimova (obituary)
    
    Uspekhi Mat. Nauk, 80:3(483) (2025),  179–182
12. Gregory Samuilovich Tseytin (obituary)
    
    Uspekhi Mat. Nauk, 78:3(471) (2023),  170–176
13. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
    
    Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195