Logic in Modeling, Logics as Models

Logic is often informally described as the study of sound reasoning. [...] In an enormous development beginning in the late 19th century, it has been found that a wide variety of different principles are needed for sound reasoning in different domains, and "a logic" has come to mean a set of principles for some form of sound reasoning. (Mossakowski, Goguen, Diaconescu, &Tarlecki, 2005, p. 113)