Formal Logical SystemsFormal logical systems: consequence relations, proof systems, and model-theoretic semantics that define what follows from what.