b. 1951
Sergei Artemov is a Russian-American logician and computer scientist at the CUNY Graduate Center, known for creating Justification Logic (the Logic of Proofs), which provides an explicit proof-term semantics for modal logic. His work resolved a long-standing problem posed by Gödel concerning the intended provability semantics of intuitionistic logic and has influenced the foundations of knowledge, verification, and epistemic reasoning.
Created the Logic of Proofs (LP), resolving Gödel's open problem on the provability semantics of intuitionistic logic
Founded the field of Justification Logic, providing explicit evidence tracking for epistemic and modal reasoning
Demonstrated fundamental limits on treating logical knowledge as purely a priori due to computational complexity
Contributed to arithmetical completeness theorems connecting provability logic with formal arithmetic