French, R. Prover-Skeptic Games and Logical Pluralism. Proceedings of the AC 2015, 128-136.