52 citations · 52 across the 3 of their papers we have counts for
3 papers
math.LO2025
Consistency formula is strictly stronger in PA than PA-consistency
Sergei Artemov
In this note, we show that, despite the widespread assumption, the consistency formula for Peano Arithmetic PA, Con(PA), "for all x, x is not a code of a derivation of (0=1)," is n…
math.LO2024
Serial Properties, Selector Proofs, and the Provability of Consistency
Sergei Artemov
For Hilbert, the consistency of a formal theory T is an infinite series of statements "D is free of contradictions" for each derivation D and a consistency proof is i) an operation…
math.LO2014★ 52 cited
Intuitionistic Epistemic Logic
Sergei Artemov, Tudor Protopopescu
We outline an intuitionistic view of knowledge which maintains the original Brou\-wer-Heyting-Kolmogorov semantics for intuitionism and is consistent with the well-known approach t…