Two Remarks about Game Semantics of Classical Logic
arXiv:2603.04012 · doi:10.4204/EPTCS.441.6
Abstract
We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.
arXiv commentIn Proceedings LTT 2026, arXiv:2603.02912