Interference Logic = Conditional Logic + Frame Axiom.

Luis Farias del Cerro, Andreas Herzig

Browse the full ECSQARU paper archive.