ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC

DOI10.1017/S175502031200038XzbMath1283.03055arXiv1205.2554OpenAlexW2963573678MaRDI QIDQ4928773

Fausto Barbero

Publication date: 18 June 2013

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

Full work available at URL: https://arxiv.org/abs/1205.2554

zbMATH Keywords

independence-friendly logicexpressive powerequilibrium semanticsdeclarations of independence between existential quantifiers

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (5)

Cooperation in games and epistemic readings of independence-friendly sentences ⋮ Modeling Monty Hall in If Logic ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS ⋮ Independence-friendly logic without Henkin quantification

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium semantics of languages of imperfect information
• On the logic of informational independence and its applications
• Independent choices and the interpretation of IF logic
• Compositional semantics for a language of imperfect information

This page was built for publication: ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC