{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:45:08Z","timestamp":1759146308190},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,9]],"date-time":"2013-03-09T00:00:00Z","timestamp":1362787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s11225-013-9482-7","type":"journal-article","created":{"date-parts":[[2013,3,8]],"date-time":"2013-03-08T04:46:04Z","timestamp":1362717964000},"page":"237-265","source":"Crossref","is-referenced-by-count":2,"title":["Expressivity of Imperfect Information Logics without Identity"],"prefix":"10.1007","volume":"101","author":[{"given":"Antti","family":"Kuusisto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,9]]},"reference":[{"issue":"1","key":"9482_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1093\/jigpal\/jzn030","volume":"17","author":"X. Caicedo","year":"2009","unstructured":"Caicedo X., Dechesne F., Janssen T.M.V.: Equivalence and Quantifier Rules for Logic with Imperfect Information. Logic Journal of the IGPL 17(1), 91\u2013129 (2009)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"9482_CR2","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1305\/ndjfl\/1039886524","volume":"37","author":"E. Casanovas","year":"1996","unstructured":"Casanovas E., Dellunde P., Jansana R.: On Elementary Equivalence for Equality-free Logic. Notre Dame Journal of Formal Logic 37(3), 506\u2013522 (1996)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"9482_CR3","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L.E. Dickson","year":"1913","unstructured":"Dickson L.E.: Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors. American Journal of Mathematics 35(4), 413\u2013422 (1913)","journal-title":"American Journal of Mathematics"},{"key":"9482_CR4","unstructured":"Galliani, P., Game Values and Equilibria for Undetermined Sentences of Dependence Logic, M.Sc. thesis, ILLC, 2008."},{"key":"9482_CR5","unstructured":"Henkin, L., Some Remarks on Infinitely Long Formulas, in Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 29 September 1959, Pergamon Press, 1961, pp. 167\u2013183."},{"key":"9482_CR6","doi-asserted-by":"crossref","unstructured":"Higman, G., Ordering by Divisibility in Abstract Algebras, in Proceedings of the London Mathematical Society 1952, 2:326\u2013336, 1952.","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"9482_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1111\/j.1746-8361.1973.tb00624.x","volume":"27","author":"J. Hintikka","year":"1973","unstructured":"Hintikka J.: Quantifiers vs. Quantification Theory. Dialectica 27, 329\u2013358 (1973)","journal-title":"Quantification Theory. Dialectica"},{"key":"9482_CR8","doi-asserted-by":"crossref","unstructured":"Hintikka, J., and G. Sandu, Informational Independence as a Semantical Phenomenon. In J. E. Fenstad et\u00a0al., (eds.), Logic, Methodology and Philosophy of Science VIII, volume 126 of Studies in Logic and the Foundations of Mathematics, North- Holland, 1989, pp. 571\u2013589.","DOI":"10.1016\/S0049-237X(08)70066-1"},{"key":"9482_CR9","unstructured":"Kontinen, Jarmo, Coherence and Complexity in Fragments of Dependence Logic. Ph.D. thesis, ILLC, 2010."},{"key":"9482_CR10","doi-asserted-by":"crossref","unstructured":"Kontinen, Juha, and V. Nurmi Team Logic and Second-Order Logic, In Proceedings of WoLLIC 2009, Springer Lecture Notes in Computer Science 5514, 2009.","DOI":"10.1007\/978-3-642-02261-6_19"},{"key":"9482_CR11","doi-asserted-by":"crossref","unstructured":"Kontinen, Juha, and J. V\u00e4\u00e4n\u00e4nen, On Definability in Dependence Logic, Journal of Logic, Language and Information 18(3):317\u2013332, 2009.","DOI":"10.1007\/s10849-009-9082-0"},{"key":"9482_CR12","doi-asserted-by":"crossref","unstructured":"Libkin, L., Elements of Finite Model Theory, Springer, 2004.","DOI":"10.1007\/978-3-662-07003-1"},{"issue":"1","key":"9482_CR13","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s11083-004-2738-0","volume":"21","author":"M. Malicki","year":"2004","unstructured":"Malicki M., Rutkowski A.: On Operations and Linear Extensions of Well Partially Ordered Sets. Order 21(1), 7\u201317 (2004)","journal-title":"Order"},{"issue":"6","key":"9482_CR14","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/jigpal\/jzp029","volume":"17","author":"L. Mann A.","year":"2009","unstructured":"Mann A. L.: Independence-Friendly Cylindric Set\u00a0algebras. Logic Journal of the IGPL 17(6), 719\u2013754 (2009)","journal-title":"Logic Journal of the IGPL"},{"key":"9482_CR15","doi-asserted-by":"crossref","unstructured":"Mann, A. L., G. Sandu, and M. Sevenster, Independence-Friendly Logic: A Game-Theoretic Approach, London Mathematical Society Lecture Note Series (No. 386), Cambridge University Press, 2011.","DOI":"10.1017\/CBO9780511981418"},{"key":"9482_CR16","unstructured":"Tulenheimo, T., and M. Sevenster, Approaches to Independence Friendly Modal Logic, in J. van Benthem, D. Gabbay, and B. L\u00f6we, (eds.), Interactive Logic, Selected Papers from the 7th Augustus de Morgan Workshop, London. Texts in Logic and Games 1, Amsterdam: Amsterdam University Press, 2007, pp. 247\u2013280."},{"key":"9482_CR17","unstructured":"Tulenheimo, T., Independence Friendly Modal Logic. Ph.D. thesis, Department of Philosophy, University of Helsinki, 2004."},{"key":"9482_CR18","unstructured":"V\u00e4\u00e4n\u00e4nen, J., Dependence Logic, Vol. 70 of London Mathematical Society Student Texts, Cambridge University Press, 2007."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9482-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9482-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9482-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T16:48:09Z","timestamp":1562777289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9482-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,9]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["9482"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9482-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,9]]}}}