>challenge-response games This is standardly called "game-theoretic semantics" in the literature. Enthusiasts can find more info here (or just by Googling arou

>challenge-response games This is standardly called "game-theoretic semantics" in the literature. Enthusiasts can find more info here (or just by Googling around): https://plato.stanford.edu/entries/logic-games/#SemGam https://plato.stanford.edu/entries/logic-games/#SemGam