7 citations · 7 across the 1 of their papers we have counts for
2 papers
math.LO2019
The Provability of Consistency
Sergei Artemov
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency…
cs.LO2017★ 7 cited
Epistemic Modeling with Justifications
Sergei Artemov
Existing logical models do not fairly represent epistemic situations with fallible justifications, e.g., Russell's Prime Minister example, though such scenarios have long been at t…