52 citations · 73 across the 2 of their papers we have counts for
2 papers
math.LO2016★ 21 cited
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
Tudor Protopopescu
Intuitionistic epistemic logic introduces an epistemic operator, which reflects the intended BHK semantics of intuitionism, to intuitionistic logic. The fundamental assumption conc…
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…