Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics.

Ricardo Caferra, Stphane Demri, Michel Herment

Browse the full AAAI paper archive.