On existential declarations of independence in if logic

Review of Symbolic Logic 6 (2):254-280 (2013)
  Copy   BIBTEX

Abstract

We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of Independence-Friendly (IF) sentences; we give a syntactical criterion to decide 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

Categories

Keywords

Reprint years

DOI

10.1017/s175502031200038x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,813

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
Scope and the grammar of choice.Donka F. Farkas & Adrian Brasoveanu - unknown
Résistance et existence [Resistence and Existence].Olivier Massin - 2011 - Etudes de Philosophie 9:275- 310.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Declarations of independence.Branden Fitelson & Alan Hájek - 2017 - Synthese 194 (10):3979-3995.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
Primitive independence results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Decidability of independence-friendly modal logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Arithmetical independence results using higher recursion theory.Andrew Arana - 2004 - Journal of Symbolic Logic 69 (1):1-8.

Analytics

Added to PP
2013-12-23

Downloads
46 (#353,688)

6 months
14 (#200,084)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Complexity of syntactical tree fragments of Independence-Friendly logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
Signalling in independence-friendly logic.F. Barbero & G. Sandu - 2014 - Logic Journal of the IGPL 22 (4):638-664.

View all 6 citations / Add more citations

References found in this work

Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Independent choices and the interpretation of IF logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.

View all 6 references / Add more references