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.
In Proceedings LTT 2026, arXiv:2603.02912
arXiv:2603.04012 · doi:10.4204/EPTCS.441.6
We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.
In Proceedings LTT 2026, arXiv:2603.02912