{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:11Z","timestamp":1740123071437,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Grants Council (under RF President) for State Aid of Leading Scientific Schools","award":["NSh-6848.2016.1"],"award-info":[{"award-number":["NSh-6848.2016.1"]}]},{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11225-017-9760-x","type":"journal-article","created":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T07:22:43Z","timestamp":1507965763000},"page":"637-670","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Hintikka\u2019s Independence-Friendly Logic Meets Nelson\u2019s Realizability"],"prefix":"10.1007","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3115-1293","authenticated-orcid":false,"given":"Sergei P.","family":"Odintsov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6386-5632","authenticated-orcid":false,"given":"Stanislav O.","family":"Speranski","sequence":"additional","affiliation":[]},{"given":"Igor Yu.","family":"Shevchenko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"issue":"2","key":"9760_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s11229-008-9415-6","volume":"167","author":"S Abramsky","year":"2009","unstructured":"Abramsky, S., and J.\u00a0V\u00e4\u00e4n\u00e4nen, From IF to BI: A tale of dependence and separation, Synthese 167(2):207\u2013230, 2009. doi: 10.1007\/s11229-008-9415-6 .","journal-title":"Synthese"},{"key":"9760_CR2","unstructured":"Dummett, M., Truth and Other Enigmas, Harvard University Press, 1978."},{"key":"9760_CR3","unstructured":"Dummett, M., The Logical Basis of Metaphysics, Harvard University Press, 1993."},{"issue":"8","key":"9760_CR4","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1002\/malq.19700160802","volume":"16","author":"HB Enderton","year":"1970","unstructured":"Enderton, H.\u00a0B., Finite partially-ordered quantifiers, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 16(8):393\u2013397, 1970. doi: 10.1002\/malq.19700160802 .","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9760_CR5","doi-asserted-by":"publisher","unstructured":"Hintikka, J., The Principles of Mathematics Revisited, Cambridge University Press, Cambridge, 1996. doi: 10.1017\/CBO9780511624919 .","DOI":"10.1017\/CBO9780511624919"},{"key":"9760_CR6","doi-asserted-by":"publisher","unstructured":"Hintikka, J., and G.\u00a0Sandu, Informational independence as a semantical phenomenon, in J.\u00a0E. Fenstad et al. (eds.), Logic, Methodology and Philosophy of Science VIII, Studies in Logic and the Foundations of Mathematics 126, North-Holland Publishing Company, 1989, pp.\u00a0571\u2013589. doi: 10.1016\/S0049-237X(08)70066-1 .","DOI":"10.1016\/S0049-237X(08)70066-1"},{"issue":"4","key":"9760_CR7","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W., Compositional semantics for a language of imperfect information, Logic Journal of the IGPL 5(4):539\u2013563, 1997. doi: 10.1093\/jigpal\/5.4.539 .","journal-title":"Logic Journal of the IGPL"},{"key":"9760_CR8","doi-asserted-by":"publisher","unstructured":"Hodges, W., Some strange quantifiers, in J. Mycielski et al. (eds.), Structures in Logic and Computer Science: A Selection of Essays in Honor of A.\u00a0Ehrenfeucht, Springer, 1997, pp.\u00a051\u201365. doi: 10.1007\/3-540-63246-8_4 .","DOI":"10.1007\/3-540-63246-8_4"},{"key":"9760_CR9","unstructured":"Kleene, S.\u00a0C., Introduction to Metamathematics, North-Holland Publishing Company, 1952."},{"key":"9760_CR10","doi-asserted-by":"crossref","unstructured":"Kontinen, J., J.\u00a0V\u00e4\u00e4n\u00e4nen and D.\u00a0Westerst\u00e5hl (eds.), Special Issue on Dependence and Independence in Logic, Studia Logica 101(2), Springer, 2013.","DOI":"10.1007\/s11225-013-9484-5"},{"key":"9760_CR11","doi-asserted-by":"crossref","unstructured":"Mann, A.\u00a0L., G.\u00a0Sandu and M.\u00a0Sevenster, Independence-Friendly Logic: A Game-Theoretic Approach, Cambridge University Press, 2011.","DOI":"10.1017\/CBO9780511981418"},{"key":"9760_CR12","unstructured":"Matiyasevich, Yu.\u00a0V., Hilbert\u2019s Tenth Problem, MIT Press, 1993."},{"issue":"1","key":"9760_CR13","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, Journal of Symbolic Logic 14(1):16\u201326, 1949. doi: 10.2307\/2268973 .","journal-title":"Journal of Symbolic Logic"},{"key":"9760_CR14","unstructured":"Osborne, M.\u00a0J., and A.\u00a0Rubinstein, A Course in Game Theory, MIT Press, 1994."},{"key":"9760_CR15","unstructured":"Rogers, H., Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, 1967."},{"key":"9760_CR16","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J., Dependence Logic: A New Approach to Independence Friendly Logic, Cambridge University Press, 2007.","DOI":"10.1017\/CBO9780511611193"},{"key":"9760_CR17","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Logic in Games, MIT Press, 2014.","DOI":"10.7551\/mitpress\/9674.001.0001"},{"issue":"4","key":"9760_CR18","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2307\/2271440","volume":"35","author":"WJ Walkoe","year":"1970","unstructured":"Walkoe,\u00a0W.\u00a0J., Finite partially-ordered quantification, Journal of Symbolic Logic 35(4):535\u2013555, 1970. doi: 10.2307\/2271440 .","journal-title":"Journal of Symbolic Logic"},{"key":"9760_CR19","unstructured":"Wittgenstein, L., Tractatus Logico-Philosophicus, Routledge & Kegan Paul, 1922."},{"key":"9760_CR20","unstructured":"Yang, F., On Extensions and Variants of Dependence Logic\u2014A Study of Intuitionistic Connectives in the Team Semantics Setting, Ph.D. thesis, University of Helsinki, 2014. Available online at https:\/\/helda.helsinki.fi\/handle\/10138\/43011 ."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9760-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9760-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9760-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T13:53:41Z","timestamp":1570197221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9760-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9760"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9760-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,10,14]]}}}