A logic is a collection of a [[Formal Language]] or [[Natural language]] together with a [[Proof System|deductive system]] and/or a model-theoretic semantics. # Properties Types: [[Language of First Order Logic]].