Statistics
Publications
29
Citations
1.9K
H-Index
20
Active since
1985
Sergei Artëmov is an author at The Graduate Center, CUNY specializing in logic, humanities, and computer science.
Publications per year
1985–2019
29
29
Explicit Provability and Constructive Semantics
Sergei Artëmov · Bulletin of Symbolic Logic · 2001 · 449 citations
Sergei Artëmov · The Review of Symbolic Logic · 2008 · 227 citations
Humanities, Mathematics, Philosophy +17
We Will Show Them: Essays in Honour of Dov Gabbay
Sergei Artëmov, Herbert R. Barringer, Artur d’Avila Garcez et al. · 2005 · 151 citations
Humanities, History, Theology +1
Introducing Justification into Epistemic Logic
Sergei Artëmov, Elena Nogina · Journal of Logic and Computation · 2005 · 144 citations
Humanities, Philosophy, Epistemology +11
Sergei Artëmov · Annals of Pure and Applied Logic · 1994 · 135 citations
1–5 of 29