Logics and Algebras for Multiple Players


We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game. Our focus is on the notion of equivalence between two formulas… (More)
DOI: 10.1017/S1755020310000079


2 Figures and Tables

Slides referencing similar topics