Three-valued Strong Kleene Logic provides an adequate framework to deal with belief change. In this paper, an undefined truth-value is used to denote opinionless information. Through an informative refinement, such information could become to be true or false in a step by step way. Our approach is based upon model frames, that are sets of informatively ordered three-valued interpretations. A relation of compatibility among frames, being a partial informative order, is defined. Belief change is accomplished by using the compatibility relation together with operations of concatenation and unification over model frames. Underline intuitions of our belief definition are the same as those using the Kripkean semantics of possible worlds. Syntactical characterization for ideal reasoning and logical omniscience are given, together with the one of limited reasoning. The first two topics, undesirable when modeling real agents of knowledge and belief, are avoided in the proposed approach.
CitationNúñez, G., Alvarado, M.. "An approach to belief in strong Kleene logic". 1995.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: email@example.com