Les systèmes logiques peuvent être considérés comme un langage formel avec des constructions supplémentaires, comme le calcul de preuve, qui définissent une relation de conséquence.
Quelques exemples de langues officielles :