{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:48:07Z","timestamp":1759146487882},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2013,3,26]],"date-time":"2013-03-26T00:00:00Z","timestamp":1364256000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2013,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p><jats:p>The main theorem defines a schema of sound and recursive inference rules; we show more explicitly what happens for some simple special classes of sentences.<\/jats:p><jats:p>In the last section, we extend the main result beyond the scope of prenex sentences, in order to give a proof of the fact that the fragment of IF sentences with knowledge memory has only first-order expressive power.<\/jats:p>","DOI":"10.1017\/s175502031200038x","type":"journal-article","created":{"date-parts":[[2013,3,26]],"date-time":"2013-03-26T10:21:10Z","timestamp":1364293270000},"page":"254-280","source":"Crossref","is-referenced-by-count":8,"title":["ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC"],"prefix":"10.1017","volume":"6","author":[{"given":"FAUSTO","family":"BARBERO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2013,3,26]]},"reference":[{"key":"S175502031200038X_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.07.019"},{"key":"S175502031200038X_ref15","unstructured":"Sevenster M . (2007). A strategic perspective on IF games. http:\/\/www.illc.uva.nl\/Research\/Reports\/PP-2007-29.text.pdf."},{"key":"S175502031200038X_ref14","unstructured":"Sevenster M . (2006). Branches of imperfect information: Games, logic, and computation. PhD thesis, ILLC, Universiteit van Amsterdam."},{"key":"S175502031200038X_ref13","unstructured":"Nurmi V . (2009). Dependence logic: Investigations into higher-order semantics defined on teams. PhD thesis, Helsinki: University of Helsinki, Department of Mathematics and Statistics."},{"key":"S175502031200038X_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/5.4.539"},{"key":"S175502031200038X_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193"},{"key":"S175502031200038X_ref17","volume-title":"Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance","author":"Tulenheimo","year":"2004"},{"key":"S175502031200038X_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624919"},{"key":"S175502031200038X_ref3","unstructured":"Galliani P . (2008b). Probabilistic Dependence Logic. http:\/\/www.illc.uva.nl\/Research\/Reports\/PP-2008-55.text.pdf."},{"key":"S175502031200038X_ref5","first-page":"571","volume-title":"Logic, Methodology and Philosophy of Science VIII","author":"Hintikka","year":"1989"},{"key":"S175502031200038X_ref2","unstructured":"Galliani P . (2008a). Game values and equilibria for undetermined sentences of Dependence Logic. M.Sc. Thesis, Published in ILLC MoL Series, MoL-2008-08."},{"key":"S175502031200038X_ref1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzn030"},{"key":"S175502031200038X_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63246-8_4"},{"key":"S175502031200038X_ref8","first-page":"111","volume-title":"Advances in Modal Logic","volume":"5","author":"Hyttinen","year":"2005"},{"key":"S175502031200038X_ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015542413718"},{"key":"S175502031200038X_ref10","first-page":"125","article-title":"Independence friendly logic as a strategic game","author":"Janssen","year":"2005","journal-title":"Proceedings Fifteenth Amsterdam Colloquium"},{"key":"S175502031200038X_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511981418"},{"key":"S175502031200038X_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01049180"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502031200038X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T17:33:34Z","timestamp":1556040814000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502031200038X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,26]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["S175502031200038X"],"URL":"https:\/\/doi.org\/10.1017\/s175502031200038x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,26]]}}}