Interference logic = conditional logic +
β
Luis FariΓ±as del Cerro; Andreas Herzig
π
Article
π
1994
π
John Wiley and Sons
π
English
β 582 KB
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. 0 1994 John