Belief increasing in SKL model frames

Three-Valued Strong Kleene Logic provides an adequate framework to deal with belief increasing. In this paper, 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 increasing is accomplished by using the compatibility relation that is based on concatenation operation over model frames. A correspondence between model frames and analytic tableaux is outlined. It provides to deal with model frames by using that powerful proof method.Postprint (published version

Belief increasing in SKL model frames

Three-Valued Strong Kleene Logic provides an adequate framework to deal with belief increasing. In this paper, 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 increasing is accomplished by using the compatibility relation that is based on concatenation operation over model frames. A correspondence between model frames and analytic tableaux is outlined. It provides to deal with model frames by using that powerful proof method