Access-based Intuitionistic Knowledge

Steffen Lewitzka

We introduce the concept of access-based intuitionistic knowledge which relies on the intuition that agent $i$ knows $\phi$ if $i$ has found access to a proof of $\phi$. Basic principles…