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

Caferra et al. "Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics." AAAI Conference on Artificial Intelligence, 1991.

[Caferra et al. "Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/caferra1991aaai-logic/)

@inproceedings{caferra1991aaai-logic,
  title     = {{Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics}},
  author    = {Caferra, Ricardo and Demri, Stéphane and Herment, Michel},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {421-426},
  url       = {https://mlanthology.org/aaai/1991/caferra1991aaai-logic/}
}