* Relação de acarretamento (ou consequência semântica, ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais
[VIDEO]
* [[Relação de consequência]]
* [[Relação de compatibilidade]]
* [[Semântica formal para a Lógica Proposicional Clássica]]
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]