Two Remarks about Game Semantics of Classical Logic
Logic in Computer Science
2026-03-05 v1
Abstract
We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.
Cite
@article{arxiv.2603.04012,
title = {Two Remarks about Game Semantics of Classical Logic},
author = {Thierry Coquand},
journal= {arXiv preprint arXiv:2603.04012},
year = {2026}
}
Comments
In Proceedings LTT 2026, arXiv:2603.02912