Access-based intuitionistic knowledge
Published in Journal of Logic and Computation • Dec 12, 2020
Authors:
Steffen Lewitzka
Abstract
Abstract We introduce the concept of $\textit{access-based}$ intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found $\textit{access to a proof}$ of $\varphi$. Basic principles are distribution and factivity of knowledge as well as $\square\varphi\right...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!