Systems for Knowledge and Belief

1 April 1993

journal article
Published by Oxford University Press (OUP) in Journal of Logic and Computation

Vol. 3 (2) , 173-195
https://doi.org/10.1093/logcom/3.2.173

Abstract

We investigate modal systems for knowledge and belief, taking as a starting point a logic that was originally introduced by Kraus and Lehmann. We derive several properties and discuss (their) consequences for the epistemic operators. Kraus and Lehmann observed that adding the axiom B_iϕ → B₁K₁ϕ to the system gives a collapse of knowledge and belief: (K₁ϕ ↔ B_iϕ). We investigate the cause(s) of this problem and suggest a ‘similar’ system that does allow the same axiom without the mentioned collapse. We consider as the main benefit of this paper, however, the techniques that are developed to come to this solution. It appears that applying basic correspondence theory to a multi-modal system allows a systematic examination of possible combinations of epistemic operators.

Keywords

SYSTEMS FOR KNOWLEDGE AND BELIEF

This publication has 0 references indexed in Scilit: