Interference logic = conditional logic + frame axiom
Luís Fariñas del Cerro, Andreas Herzig · International Journal of Intelligent Systems · 1994
We investigate the notion of interference between formulas as a basis for change operations. Such a notion permits us to enrich conditional logics with a frame axiom. This new logic allows us to solve in a natural way some of the problems appearing in the model based approach to change. © 1994 John Wiley & Sons, Inc.