How to identify, translate and combine logics?

@article{Rabe2017HowTI,
  title={How to identify, translate and combine logics?},
  author={Florian Rabe},
  journal={J. Log. Comput.},
  year={2017},
  volume={27},
  pages={1753-1798}
}
We give general definitions of logical frameworks and logics. Examples include the logical frameworks LF and Isabelle and the logics represented in them. We apply this to give general definitions for equivalence of logics, translation between logics, and combination of logics. We also establish general criteria for the soundness and completeness of these… CONTINUE READING