Inferentialist Game Semantics (Extended Abstract)

Joaquim T. Waddington, Alexander V. Gheorghiu, David J. Pym

Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts th…