Belief revision within fragments of propositional logic

摘要: Belief revision has been extensively studied in the framework of propositional logic, but just recently within fragments logic gained attention. Hereby it is not only belief set and formula which are given a certain language fragment, also result to be located same fragment. So far, research this direction mainly devoted Horn fragment classical logic. In work, we present general approach define new operators derived from known (as for instance, Satoh's Dalal's operators), such that remains under consideration. Our limited case applicable any where models formulas closed Boolean function. Thus able uniformly treat cases as dual-Horn, Krom affine formulas, well.