LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS

DOI10.1017/S1755020310000079zbMath1208.03057MaRDI QIDQ4933595

Loes Olde Loohuis, Yde Venema

Publication date: 14 October 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

computational complexitymodal logicgame-theoretic semanticslogic gamesmultiplayer algebra

Mathematics Subject Classification ID

Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Classical propositional logic (03B05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

Game theoretical semantics for some non-classical logics ⋮ A Non-classical Logical Approach to Social Software

Cites Work

• Alternating-time temporal logic
• Algebraic Structures with Hard Equivalence and Minimization Problems
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• A Modal Logic for Coalitional Power in Games
• Unnamed Item
• Unnamed Item

This page was built for publication: LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS