Follow
Sergei Artemov
Sergei Artemov
Distinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate Center
Verified email at gc.cuny.edu
Title
Cited by
Cited by
Year
Explicit provability and constructive semantics
SN Artemov
Bulletin of Symbolic logic 7 (1), 1-36, 2001
5752001
The logic of justification
SN Artemov
The Review of Symbolic Logic, 2008
3812008
Operational modal logic
SN Artemov
Tech. Rept. MSI 95-29. Mathematical Sciences Institute, Cornell University, 1995
2741995
Introducing justification into epistemic logic
S Artemov, E Nogina
Journal of Logic and Computation 15 (6), 1059-1073, 2005
1882005
Justification logic
S Artemov
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
1772008
Provability logic
SN Artemov, LD Beklemishev
Handbook of Philosophical Logic, 2nd Edition, 2005
1742005
Logic of proofs
S Artemov
Annals of Pure and Applied Logic 67 (1-3), 29-59, 1994
1441994
Justified common knowledge
S Artemov
Theoretical Computer Science 357 (1-3), 4-22, 2006
1312006
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
972016
Modal logics and topological semantics for hybrid systems
S Artemov, J Davoren, A Nerode
Technical Report TR-97-02, CALIFORNIA UNIV BERKELEY, 1997
871997
The Ontology of Justifications in the Logical Setting
SN Artemov
Studia Logica 100, 17-30, 2012
852012
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
732004
On epistemic logic with justification
S Artemov, E Nogina
TARK 5, 279-294, 2005
682005
Logical omniscience as a computational complexity problem
S Artemov, R Kuznets
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
572009
Functionality in the basic logic of proofs
S Artemov, T Straßen
Technical Report IAM 93-004, Bern University, 1993
481993
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
462006
Kolmogorov and Gödel's approach to intuitionistic logic: current developments
SN Artemov
Russian Mathematical Surveys 59 (2), 203, 2004
46*2004
The system can't perform the operation now. Try again later.
Articles 1–20