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