| Теория рекурсивных функций и эффективная вычислимость: Пер. с англ Х Роджерс, ВА Душский, МИ Канович, ЕЮ Ногина Мир, 1972 | 465 | 1972 |
| Introducing justification into epistemic logic S Artemov, E Nogina Journal of Logic and Computation 15 (6), 1059-1073, 2005 | 185 | 2005 |
| On epistemic logic with justification S Artemov, E Nogina TARK 5, 279-294, 2005 | 65 | 2005 |
| Logic of knowledge with justifications from the provability perspective S Artemov, E Nogina Technical Report TR-2004011, CUNY Ph. D. Program, 2004 | 49 | 2004 |
| Logic of proofs with the strong provability operator E Nogina Institute for Logic, Language and Computation (ILLC), 1994 | 19* | 1994 |
| On logic of proofs and provability E Nogina | 18 | 2006 |
| Grzegorczyk logic with arithmetical proof operators EY Nogina Fundamentalnaya i Prikladnaya Matematika 2 (2), 483-499, 1996 | 18 | 1996 |
| On effectively topological spaces EJ Nogina Dokl. Akad. Nauk SSSR 169, 28-31, 1966 | 17* | 1966 |
| Basic systems of epistemic logic with justification S Artemov, E Nogina Technical Report TR-2005004, CUNY Ph. D. Program in Computer Science, 2005 | 15* | 2005 |
| Relations between certain classes of effectively topological spaces EY Nogina Mathematical Notes 5 (4), 288-294, 1969 | 13* | 1969 |
| Topological semantics of justification logic S Artemov, E Nogina International Computer Science Symposium in Russia, 30-39, 2008 | 12 | 2008 |
| Epistemic completeness of GLA E Nogina Bulletin of Symbolic Logic 13 (3), 2007 | 11 | 2007 |
| The topology of justification S Artemov, E Nogina Logic and Logical Philosophy 17 (1-2), 59-71, 2008 | 6 | 2008 |
| Logic of strong provability and explicit proofs E Nogina Proceedings of Logic Colloquium, 2008 | 4 | 2008 |
| Enumerable topological spaces EY Nogina Z. Math. Logik und Grundlagen der Math, 141-176, 1978 | 4 | 1978 |
| Об одной теореме Московакиса ЕЮ Ногина Труды I конференции молодых специалистов Вычислительного центра АН Арм. ССР …, 1969 | 3 | 1969 |
| On Logic of formal provability and explicit proofs E Nogina arXiv preprint arXiv:1405.2559, 2014 | 2 | 2014 |
| On a hierarchy of reflection principles in Peano arithmetic E Nogina arXiv preprint arXiv:1405.2558, 2014 | 1 | 2014 |
| Язык математики//Программы и учебный план отделения теоретической и прикладной лингвистики ЕЮ Ногина, ВЕ Плиско М.: филфак МГУ, 125-128, 1996 | 1 | 1996 |
| ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07) M Gehrke, H Priestley, S ABRAMSKY, S Aguzzoli, M Alizadeh, A Amroune, ... | | 2007 |
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterEmail verificata su gc.cuny.edu
