Equilibrium semantics of languages of imperfect information

DOI10.1016/J.APAL.2009.07.019MaRDI QIDQ636301zbMATH OpenOpenAlexFDO

Authors 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

independence-friendly logicNash equilibriumdescriptive complexitygame-theoretic semanticscombinatorial game theory

Mathematics Subject Classification ID

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

Recommendations

• Equilibrium semantics for IF logic and many-valued connectives
• Languages for imperfect information
• A strategic perspective on IF games
• scientific article; zbMATH DE number 1361517
• On the logic of informational independence and its applications

Cites work

• scientific article; zbMATH DE number 5301288 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 3474957 (Why is no real title available?)
• scientific article; zbMATH DE number 1226083 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• A course in game theory.
• A remark on Henkin sentences and their contraries
• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Descriptive complexity: a logician's approach to computation.
• Equivalence and quantifier rules for logic with imperfect information
• Fast algorithms for finding randomized strategies in game trees
• Finite partially-ordered quantification
• From IF to BI. A tale of dependence and separation
• Henkin quantifiers and complete problems
• Henkin quantifiers: logic, games, and computation.

Cited in

(11)

• Signalling in languages with imperfect information
• Usefulness of information and unary languages
• Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information
• Dynamic logics of imperfect information: from teams and games to transitions
• Modeling Monty Hall in IF logic
• Languages for imperfect information
• Equilibrium semantics for IF logic and many-valued connectives
• ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
• Confidence levels assigned to languages generated under imprecision
• A logical analysis of Monty Hall and Sleeping Beauty
• Equivalence and quantifier rules for logic with imperfect information

This page was built for publication: Equilibrium semantics of languages of imperfect information

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