En particular admiten una caracterización semántica muy clara en la teoría de modelos y sus propiedades deductivas pueden ser tratadas en la teoría de la demostración.