Während Quine solche Logiken als "inklusive" Logiken bezeichnet hat, werden sie jetzt als freie Logik bezeichnet.
Während Quine solche Logiken als "freie" Logik bezeichnete, werden sie jetzt als Inklusionslogik bezeichnet.