French, Rohan. “Prover-Skeptic Games and Logical Pluralism”. Proceedings of the Amsterdam Colloquium, Dec. 2015, pp. 128-36, https://platform.openjournals.nl/PAC/article/view/22248.