| Explicit provability and constructive semantics SN Artemov Bulletin of Symbolic logic 7 (1), 1-36, 2001 | 594 | 2001 |
| The logic of justification SN Artemov The Review of Symbolic Logic, 2008 | 392 | 2008 |
| Operational modal logic SN Artemov Mathematical Sciences Institute, Cornell University 95 (29), 1995 | 288 | 1995 |
| Introducing justification into epistemic logic S Artemov, E Nogina Journal of Logic and Computation 15 (6), 1059-1073, 2005 | 191 | 2005 |
| Provability logic SN Artemov, LD Beklemishev Handbook of Philosophical Logic, 2nd Edition, 2005 | 189 | 2005 |
| Justification logic S Artemov Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008 | 187 | 2008 |
| Logic of proofs S Artemov Annals of Pure and Applied Logic 67 (1-3), 29-59, 1994 | 150 | 1994 |
| Justified common knowledge S Artemov Theoretical Computer Science 357 (1-3), 4-22, 2006 | 133 | 2006 |
| Justification logic: reasoning with reasons S Artemov, M Fitting Cambridge University Press, 2019 | 118 | 2019 |
| Intuitionistic epistemic logic S Artemov, T Protopopescu The Review of Symbolic Logic 9 (2), 266-298, 2016 | 104 | 2016 |
| Modal logics and topological semantics for hybrid systems S Artemov, J Davoren, A Nerode Technical Report TR-97-02, CALIFORNIA UNIV BERKELEY, 1997 | 93 | 1997 |
| The Ontology of Justifications in the Logical Setting SN Artemov Studia Logica 100, 17-30, 2012 | 88 | 2012 |
| Logic of knowledge with justifications from the provability perspective S Artemov, E Nogina Technical Report TR-2004011, CUNY Ph. D. Program in Computer Science, 2004 | 82* | 2004 |
| Evidence-Based Common Knowledge S Artemov CUNY Ph. D. Program in Computer Science Technical Report TR2004018, 2004 | 74 | 2004 |
| On epistemic logic with justification S Artemov, E Nogina TARK 5, 279-294, 2005 | 70 | 2005 |
| Logical omniscience as a computational complexity problem S Artemov, R Kuznets Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009 | 57 | 2009 |
| Arithmetically complete modal theories S Artemov Russian, English translation in: Amer. Math. Soc. Transl 2 (135), 39-54, 1987 | 49* | 1987 |
| Kolmogorov and Gödel's approach to intuitionistic logic: current developments SN Artemov Russian Mathematical Surveys 59 (2), 203, 2004 | 48* | 2004 |
| Functionality in the basic logic of proofs S Artemov, T Straßen Technical Report IAM 93-004, Bern University, 1993 | 48 | 1993 |
| Logical omniscience via proof complexity S Artemov, R Kuznets International Workshop on Computer Science Logic, 135-149, 2006 | 47 | 2006 |
Dr. Elena Y NoginaProfessor of Mathematics - City University of New YorkVerified email at bmcc.cuny.edu
