Alors que Quine appelait de telles logiques la logique "inclusive", on les appelle maintenant logique libre.
Bien que Quine ait qualifié ces logiques de «intégrales», elles sont maintenant appelées logiques libres.