L. FLORIDI - ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM
This paper has a formal style: he claims "philosophical lemmas". Towards the end, he also quotes Halpern and Moses on epistemic logic.
This paper has a formal style: he claims "philosophical lemmas". Towards the end, he also quotes Halpern and Moses on epistemic logic.