Logics and algebras for multiple players

DOI10.1017/S1755020310000079MaRDI QIDQ4933595zbMATH OpenFDO

Authors 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) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• Representing strategic games and their equilibria in many-valued logics
• A new game equivalence, its logic and algebra
• Propositional logics for three
• The basic algebra of game equivalences
• A new game equivalence and its modal logic

Cites work

• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• Algebraic Structures with Hard Equivalence and Minimization Problems
• Alternating-time temporal logic
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

Cited in

(6)

• A new game equivalence, its logic and algebra
• Game theoretical semantics for some non-classical logics
• Propositional logics for three
• Representing strategic games and their equilibria in many-valued logics
• A new game equivalence and its modal logic
• A non-classical logical approach to social software

This page was built for publication: Logics and algebras for multiple players

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933595)