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