Independence-Friendly Logic: A Game-Theoretic Approach to Reasoning

GPTKB entity