ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
From MaRDI portal
Publication:4928773
DOI10.1017/S175502031200038XzbMath1283.03055arXiv1205.2554MaRDI QIDQ4928773
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
independence-friendly logic; expressive power; equilibrium semantics; declarations of independence between existential quantifiers
03B60: Other nonclassical logic
Related Items
DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS, Independence-friendly logic without Henkin quantification, Cooperation in games and epistemic readings of independence-friendly sentences, Complexity of syntactical tree fragments of independence-friendly logic, Modeling Monty Hall in If Logic
Cites Work