Explicit provability and constructive semantics SN Artemov Bulletin of Symbolic logic 7 (1), 1-36, 2001 | 575 | 2001 |
The logic of justification SN Artemov The Review of Symbolic Logic, 2008 | 381 | 2008 |
Operational modal logic SN Artemov Tech. Rept. MSI 95-29. Mathematical Sciences Institute, Cornell University, 1995 | 274 | 1995 |
Introducing justification into epistemic logic S Artemov, E Nogina Journal of Logic and Computation 15 (6), 1059-1073, 2005 | 188 | 2005 |
Justification logic S Artemov Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008 | 177 | 2008 |
Provability logic SN Artemov, LD Beklemishev Handbook of Philosophical Logic, 2nd Edition, 2005 | 174 | 2005 |
Logic of proofs S Artemov Annals of Pure and Applied Logic 67 (1-3), 29-59, 1994 | 144 | 1994 |
Justified common knowledge S Artemov Theoretical Computer Science 357 (1-3), 4-22, 2006 | 131 | 2006 |
Justification logic: reasoning with reasons S Artemov, M Fitting Cambridge University Press, 2019 | 108* | 2019 |
Intuitionistic epistemic logic S Artemov, T Protopopescu The Review of Symbolic Logic 9 (2), 266-298, 2016 | 97 | 2016 |
Modal logics and topological semantics for hybrid systems S Artemov, J Davoren, A Nerode Technical Report TR-97-02, CALIFORNIA UNIV BERKELEY, 1997 | 87 | 1997 |
The Ontology of Justifications in the Logical Setting SN Artemov Studia Logica 100, 17-30, 2012 | 85 | 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 | 73 | 2004 |
On epistemic logic with justification S Artemov, E Nogina TARK 5, 279-294, 2005 | 68 | 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 |
Functionality in the basic logic of proofs S Artemov, T Straßen Technical Report IAM 93-004, Bern University, 1993 | 48 | 1993 |
Arithmetically complete modal theories S Artemov Russian, English translation in: Amer. Math. Soc. Transl 2 (135), 39-54, 1987 | 48* | 1987 |
Logical omniscience via proof complexity S Artemov, R Kuznets International Workshop on Computer Science Logic, 135-149, 2006 | 46 | 2006 |
Kolmogorov and Gödel's approach to intuitionistic logic: current developments SN Artemov Russian Mathematical Surveys 59 (2), 203, 2004 | 46* | 2004 |