. . "http://en.wikipedia.org/wiki/Formal_system#Logical_system, A logical system or, for short, logic, is a formal system together with a form of semantics, usually in the form of model-theoretic" . .