Playing Games with Diagrams: Truth Diagrams and Game Semantics

In this paper we discuss the connection between truth diagrams and game semantics. Truth diagrams offer a diagrammatic way to represent truth in propositional logic. Game semantics, on the other hand, offers a strategic and game theoretical way to establish the truth value of a given formula. By establishing a relation between the two, we offer another diagrammatic reasoning for game semantics, beyond game trees; and characterise various operations on truth diagrams game theoretically.