RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Artemov, Sergei Nikolaevich

Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 10
Presentations: 1

Number of views:
This page:2243
Abstract pages:2132
Full texts:733
References:251
E-mail:

http://www.mathnet.ru/eng/person14166
List of publications on Google Scholar
http://zbmath.org/authors/?q=ai:artemov.sergei-n
https://mathscinet.ams.org/mathscinet/MRAuthorID/225352
http://elibrary.ru/author_items.asp?authorid=7523

Publications in Math-Net.Ru
2004
1. S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Uspekhi Mat. Nauk, 59:2(356) (2004),  9–36  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 59:2 (2004), 203–229  isi  scopus
2003
2. S. N. Artemov, “Embedding of the Modal $\lambda$-Calculus into the Logic of Proofs”, Tr. Mat. Inst. Steklova, 242 (2003),  44–58  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 242 (2003), 36–49
2001
3. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001),  475–490  mathnet  mathscinet  zmath  isi
1990
4. S. N. Artemov, “Uniform arithmetical completeness of modal provability logics”, Mat. Zametki, 48:1 (1990),  3–9  mathnet  mathscinet  zmath; Math. Notes, 48:1 (1990), 625–629  isi
1988
5. S. N. Artemov, “Degrees of insolubility of extensions of arithmetic by true propositions”, Uspekhi Mat. Nauk, 43:2(260) (1988),  127–128  mathnet  mathscinet  zmath; Russian Math. Surveys, 43:2 (1988), 159–160  isi
1987
6. S. N. Artemov, G. K. Japaridze, “Effective predicate logics of provability”, Dokl. Akad. Nauk SSSR, 297:3 (1987),  521–523  mathnet  mathscinet; Dokl. Math., 36:3 (1988), 478–480
1986
7. S. N. Artemov, “Superintuitionistic logics that have a provability interpretation”, Dokl. Akad. Nauk SSSR, 291:6 (1986),  1289–1291  mathnet  mathscinet  zmath
8. S. N. Artemov, “Numerically correct logics of provability”, Dokl. Akad. Nauk SSSR, 290:6 (1986),  1289–1292  mathnet  mathscinet  zmath
1985
9. S. N. Artemov, “Nonarithmeticity of truth predicate logics of provability”, Dokl. Akad. Nauk SSSR, 284:2 (1985),  270–271  mathnet  mathscinet  zmath
10. S. N. Artemov, “On modal logics axiomatizing provability”, Izv. Akad. Nauk SSSR Ser. Mat., 49:6 (1985),  1123–1154  mathnet  mathscinet  zmath; Math. USSR-Izv., 27:3 (1986), 401–429

Presentations in Math-Net.Ru
1. Rebuilding epistemic logic
Sergei N. Artemov
Logical Perspectives 2018
May 18, 2018 15:00   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020