 Translations offer a better understanding of the logics being translated and could be used to compare two logics when they are transformed into theories of a common target logic, many-sorted first-order logic in our case. It is not a positive answer to the question “The One Right Logic?” (see the entry  classical logic)  as this question was not posed and it is not in the spirit of this translation into many-sorted logic. In Modal Logic for Open Minds (van Benthem 2010) translations into first-order logic are extensively treated and there is a section entitled “Discussion: what good is a translation” (2010: 77) where Johan van Benthem analyzes the balance of expressive power and complexity and advocates for a tandem approach to answer the question Does the translation ST mean that we can forget the modal language and just do first-order logic?