Artemov
contemporaryMathematical Logic / Analytic Philosophyb. 1950
Sergei Artemov is a contemporary logician known for his work on justification logic, a framework that makes explicit the evidence or proofs underlying knowledge claims. His Logic of Proofs provides a formal bridge between modal epistemic logic and the explicit proof-theoretic semantics of intuitionistic and classical systems.
Notable Achievements
1
Developed the Logic of Proofs (LP), realizing Godel's provability semantics for intuitionistic logic
2
Founded the field of Justification Logic, making evidence terms explicit in epistemic reasoning
3
Proved the Realization Theorem connecting modal logic S4 with explicit proof terms
4
Advanced the understanding of the relationship between a priori logical knowledge and computational/proof-theoretic content
5
Professor at the CUNY Graduate Center, mentoring a generation of logicians in justification logic