Hacker News new | ask | show | jobs
by kraitis 2761 days ago
>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