1 paper
Alexader V. Gheorghiu, Tao Gu
Standard epistemic logics introduce a modal operator K to represent knowledge, but in doing so they presuppose the logical apparatus they aim to explain. By contrast, this paper ex…