Explicit and Implicit Beliefs | SpringerLink
link.springer.com › chapter › 10We introduce a logic of explicit and implicit beliefs B#L, which allows local inconsistencies, but forbids global ones. We prove its soundness and completeness. The semantics for the B#L logic is given by a Kripke model. We show how to introduce quantifiers to this logic and discuss its computational properties. The paper is organized as follows.