Explicit provability and constructive semantics SN Artemov Bulletin of Symbolic logic 7 (1), 1-36, 2001 | 573 | 2001 |

The logic of justification SN Artemov The Review of Symbolic Logic, 2008 | 377 | 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 | 176 | 2008 |

Provability logic SN Artemov, LD Beklemishev Handbook of Philosophical Logic, 2nd Edition, 2005 | 176 | 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 | 106* | 2019 |

Intuitionistic epistemic logic S Artemov, T Protopopescu The Review of Symbolic Logic 9 (2), 266-298, 2016 | 96 | 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 | 72 | 2004 |

On epistemic logic with justification S Artemov, E Nogina TARK 5, 279-294, 2005 | 67 | 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 |