{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:13:29Z","timestamp":1760202809317},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T00:00:00Z","timestamp":1555027200000},"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":[[2019,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engstr\u00f6m, comparing them with a more general, higher order definition of team quantifier. We show that Engstr\u00f6m\u2019s definitions (and other quantifiers from the literature) can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engstr\u00f6m\u2019s quantifiers only range over the latter. We further argue that Engstr\u00f6m\u2019s definitions are just embeddings of the first-order generalized quantifiers into team semantics, and fail to capture an adequate notion of team-theoretical generalized quantifier, save for the special cases in which the quantifiers are applied to flat formulas. We also raise several doubts concerning the meaningfulness of the monotone\/nonmonotone distinction in this context. In the appendix we develop some proof theory for Engstr\u00f6m\u2019s quantifiers.<\/jats:p>","DOI":"10.1017\/s1755020319000145","type":"journal-article","created":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T00:36:56Z","timestamp":1555029416000},"page":"456-486","source":"Crossref","is-referenced-by-count":2,"title":["SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION"],"prefix":"10.1017","volume":"12","author":[{"given":"FAUSTO","family":"BARBERO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,4,12]]},"reference":[{"key":"S1755020319000145_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193"},{"key":"S1755020319000145_ref30","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2013.30"},{"key":"S1755020319000145_ref27","volume-title":"Quantifiers in Language and Logic","author":"Peters","year":"2006"},{"key":"S1755020319000145_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30024-5_15"},{"key":"S1755020319000145_ref13","first-page":"138","volume-title":"Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013","volume":"8071","author":"Engstr\u00f6m","year":"2013"},{"key":"S1755020319000145_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-013-9478-3"},{"key":"S1755020319000145_ref6","volume-title":"Game, Set, Maths: Formal Investigations into Logic with Imperfect Information","author":"Dechesne","year":"2005"},{"key":"S1755020319000145_ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054198000180"},{"key":"S1755020319000145_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-010-0177-8"},{"key":"S1755020319000145_ref25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511981418"},{"key":"S1755020319000145_ref3","first-page":"16","volume-title":"Proceedings 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology","author":"Barbero","year":"2019"},{"key":"S1755020319000145_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70722-5"},{"key":"S1755020319000145_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020315000192"},{"key":"S1755020319000145_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-012-9162-4"},{"key":"S1755020319000145_ref24","first-page":"186","article-title":"First-order predicate logic with generalized quantifiers","volume":"32","author":"Lindstr\u00f6m","year":"1966","journal-title":"Theoria"},{"key":"S1755020319000145_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01049180"},{"key":"S1755020319000145_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-013-9479-2"},{"key":"S1755020319000145_ref17","first-page":"167","volume-title":"Proceedings of the Symposium on Foundations of Mathematics","author":"Henkin","year":"1961"},{"key":"S1755020319000145_ref26","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-12-36"},{"key":"S1755020319000145_ref29","first-page":"483","volume-title":"Formal Methods in the Study of Language, Part 2","author":"Scha","year":"1981"},{"key":"S1755020319000145_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00986210"},{"key":"S1755020319000145_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63246-8_4"},{"key":"S1755020319000145_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-015-9218-3"},{"key":"S1755020319000145_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00082-3"},{"key":"S1755020319000145_ref5","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzn030"},{"key":"S1755020319000145_ref8","first-page":"252","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)","volume":"13","author":"Durand","year":"2011"},{"key":"S1755020319000145_ref12","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7801210"},{"key":"S1755020319000145_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.08.005"},{"key":"S1755020319000145_ref18","first-page":"571","volume-title":"Logic, Methodology and Philosophy of Science VIII","author":"Hintikka","year":"1989"},{"key":"S1755020319000145_ref19","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/5.4.539"},{"key":"S1755020319000145_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-009-9082-0"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020319000145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T05:05:06Z","timestamp":1567055106000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020319000145\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,12]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["S1755020319000145"],"URL":"https:\/\/doi.org\/10.1017\/s1755020319000145","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,12]]}}}