Logics and algebras for multiple players

DOI10.1017/S1755020310000079zbMATH Open1208.03057MaRDI QIDQ4933595FDOQ4933595

Authors: Loes Olde Loohuis, Yde Venema 

Publication date: 14 October 2010

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

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

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)

Cites Work

• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Algebraic Structures with Hard Equivalence and Minimization Problems

Cited In (6)

• Game theoretical semantics for some non-classical logics
• A new game equivalence, its logic and algebra
• 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)