Equilibrium semantics of languages of imperfect information

DOI10.1016/j.apal.2009.07.019zbMath1225.03045OpenAlexW1969692488MaRDI QIDQ636301

Merlijn Sevenster, Gabriel Sandu

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.019

zbMATH Keywords

Nash equilibriumindependence-friendly logiccombinatorial game theorygame-theoretic semanticsdescriptive complexity

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items

Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ Modeling Monty Hall in If Logic ⋮ A logical analysis of Monty Hall and Sleeping Beauty ⋮ ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC

Cites Work

• A remark on Henkin sentences and their contraries
• From IF to BI. A tale of dependence and separation
• Henkin quantifiers and complete problems
• Fast algorithms for finding randomized strategies in game trees
• Equivalence and quantifier rules for logic with imperfect information
• Compositional semantics for a language of imperfect information
• Finite partially-ordered quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item