• « La lógica modal no es una verdad condicional, y por eso se ha propuesto a menudo como una lógica no clásica. Sin embargo, la lógica modal se formaliza normalmente con el principio del medio excluido, y su semántica relacional es bivalente, por lo que esta inclusión es discutible. Por otra parte, la lógica modal puede utilizarse para codificar lógicas no clásicas, como la lógica intuicionista. »
• « Las lógicas discutidas anteriormente son todas "bivalentes" o "de dos valores"; es decir, se entienden de manera más natural como la división de las proposiciones en verdaderas y falsas. Los sistemas que rechazan la bivalencia se conocen como lógica no clásica. » (de bivalente | plural)
