ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC

DOI10.1017/S175502031200038XMaRDI QIDQ4928773zbMATH OpenOpenAlexFDO

Authors 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

declarations of independence between existential quantifiersequilibrium semanticsexpressive powerindependence-friendly logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Abstract: We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whether a sentence beginning with such prefix exists such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences. The main theorem allows us to describe the behaviour of various particular classes of quantifier prefixes, and to prove as a remarkable corollary that all existential IF sentences are equivalent to first-order sentences. As a further consequence, we prove that the fragment of IF sentences with knowledge memory has only first-order expressive power (up to truth equivalence).

Recommendations

• Independent choices and the interpretation of IF logic
• Free logic and the concept of existence
• The Independent Choice Logic and Beyond
• Modal indepence logic
• scientific article; zbMATH DE number 2196604
• scientific article; zbMATH DE number 5295726
• The future of logic: foundation-independence
• Modal independence logic
• A credal extension of independent choice logic

Cites work

• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Equilibrium semantics of languages of imperfect information
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• Independence-friendly logic. A game-theoretic approach
• Independent choices and the interpretation of IF logic
• On the logic of informational independence and its applications

Cited in

(8)

• The independence postulate, hypothetical and called-off acts: A further reply to Rabinowicz
• Independent choices and the interpretation of IF logic
• 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
• Dichotomy result for independence-friendly prefixes of generalized quantifiers
• Independence-friendly logic without Henkin quantification
• Independence-friendly logic without Henkin quantification

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

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