How to Identify, Translate, and Combine Logics? - Rabe, Florian (Journal of Logic and Computation, 2017)