Cette présentation, purement syntaxique, est équivalente à la présentation sémantique de la théorie des modèles, qui permet de définir une loi logique comme une formule vraie dans tous les mondes possibles. Cette équivalence fait l`objet d`un théorème de complétude.