Independent choices and the interpretation of IF logic
From MaRDI portal
Publication:1610629
DOI10.1023/A:1015542413718zbMath1003.03025MaRDI QIDQ1610629
Publication date: 20 August 2002
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Henkin quantifier; IF logic; independence friendly logic; imperfect information; game-theoretical semantics; branching quantifier; independent choices
91A80: Applications of game theory
03B60: Other nonclassical logic
03C80: Logic with extra quantifiers and operators
Related Items
ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC, On the formal semantics of IF-like logics, Cooperation in games and epistemic readings of independence-friendly sentences, Epistemic operators in dependence logic, Classical negation and game-theoretical semantics, Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies, Thompson transformations for IF-logic, Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications