Теория рекурсивных функций и эффективная вычислимость: Пер. с англ Х Роджерс, ВА Душский, МИ Канович, ЕЮ Ногина Мир, 1972 | 463 | 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 | 66 | 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 | 18* | 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 |