French, Rohan. “Prover-Skeptic Games and Logical Pluralism”. Proceedings of the Amsterdam Colloquium (December 1, 2015): 128–136. Accessed April 19, 2026. https://platform.openjournals.nl/PAC/article/view/22248.