YN Wáng,
X Li - Journal of Logic and Computation, 2021 - academic.oup.com
We introduce a logic of knowledge in a framework in which knowledge is treated as a kind of
belief. The framework is based on a standard KD45 characterization of belief, and the …