{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:50:33Z","timestamp":1772491833210,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030195694","type":"print"},{"value":"9783030195700","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_20","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T12:27:54Z","timestamp":1557145674000},"page":"304-320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Facets of Distribution Identities in Probabilistic Team Semantics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9637-6664","authenticated-orcid":false,"given":"Miika","family":"Hannula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2149-4153","authenticated-orcid":false,"given":"\u00c5sa","family":"Hirvonen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0115-5154","authenticated-orcid":false,"given":"Juha","family":"Kontinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Kulikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1582-3718","authenticated-orcid":false,"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s11225-013-9477-4","volume":"101","author":"S Abramsky","year":"2013","unstructured":"Abramsky, S.: Relational hidden variables and non-locality. Studia Logica 101(2), 411\u2013452 (2013)","journal-title":"Studia Logica"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"16","DOI":"10.4204\/EPTCS.286.2","volume":"286","author":"Fausto Barbero","year":"2019","unstructured":"Barbero, F., Sandu, G.: Interventionist counterfactuals on causal teams. In: Finkbeiner, B., Kleinberg, S. (eds.) Proceedings 3rd Workshop on Formal Reasoning About Causation, Responsibility, and Explanations in Science and Technology, Thessaloniki, Greece, 21st April 2018. Electronic Proceedings in Theoretical Computer Science, vol. 286, pp. 16\u201330. Open Publishing Association (2019). \n                      https:\/\/doi.org\/10.4204\/EPTCS.286.2","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","volume":"32","author":"M Ben-Or","year":"1986","unstructured":"Ben-Or, M., Kozen, D., Reif, J.: The complexity of elementary algebra and geometry. J. Comput. Syst. Sci. 32(2), 251\u2013264 (1986)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(80)90037-7","volume":"11","author":"L Berman","year":"1980","unstructured":"Berman, L.: The complexity of logical theories. Theoret. Comput. Sci. 11(1), 71\u201377 (1980)","journal-title":"Theoret. Comput. Sci."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Canny, J.: Some algebraic and geometric computations in PSPACE. In: Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, STOC 1988, pp. 460\u2013467. ACM, New York (1988)","DOI":"10.1145\/62212.62257"},{"key":"20_CR6","unstructured":"Cavallo, R., Pittarelli, M.: The theory of probabilistic databases. In: Proceedings of the 13th International Conference on Very Large Data Bases, VLDB 1987, pp. 71\u201381. Morgan Kaufmann Publishers Inc., San Francisco (1987)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-662-52921-8_11","volume-title":"Logic, Language, Information, and Computation","author":"J Corander","year":"2016","unstructured":"Corander, J., Hyttinen, A., Kontinen, J., Pensar, J., V\u00e4\u00e4n\u00e4nen, J.: A logical approach to context-specific independence. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 165\u2013182. Springer, Heidelberg (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-662-52921-8_11"},{"issue":"3-4","key":"20_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10472-017-9568-4","volume":"83","author":"Arnaud Durand","year":"2018","unstructured":"Durand, A., Hannula, M., Kontinen, J., Meier, A., Virtema, J.: Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83(3\u20134), 297\u2013320 (2018). \n                      https:\/\/doi.org\/10.1007\/s10472-017-9568-4","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-319-90050-6_11","volume-title":"Foundations of Information and Knowledge Systems","author":"A Durand","year":"2018","unstructured":"Durand, A., Hannula, M., Kontinen, J., Meier, A., Virtema, J.: Probabilistic team semantics. In: Ferrarotti, F., Woltran, S. (eds.) FoIKS 2018. LNCS, vol. 10833, pp. 186\u2013206. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-90050-6_11"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1137\/0204006","volume":"4","author":"J Ferrante","year":"1975","unstructured":"Ferrante, J., Rackoff, C.: A decision procedure for the first order theory of real addition with order. SIAM J. Comput. 4(1), 69\u201376 (1975). \n                      https:\/\/doi.org\/10.1137\/0204006","journal-title":"SIAM J. Comput."},{"key":"20_CR11","unstructured":"Galliani, P.: Game values and equilibria for undetermined sentences of dependence logic. MSc thesis. ILLC Publications, MoL-2008-08 (2008)"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion dependencies in team semantics: on some logics of imperfect information. Ann. Pure Appl. Logic 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"20_CR13","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-06025-5_4","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"P Galliani","year":"2014","unstructured":"Galliani, P., V\u00e4\u00e4n\u00e4nen, J.: On dependence logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 101\u2013119. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-06025-5_4"},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/inco.1997.2675","volume":"140","author":"E Gr\u00e4del","year":"1998","unstructured":"Gr\u00e4del, E., Gurevich, Y.: Metafinite model theory. Inf. Comput. 140(1), 26\u201381 (1998). \n                      https:\/\/doi.org\/10.1006\/inco.1997.2675","journal-title":"Inf. Comput."},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.: Dependence and independence. Studia Logica 101(2), 399\u2013410 (2013). \n                      https:\/\/doi.org\/10.1007\/s11225-013-9479-2","journal-title":"Studia Logica"},{"key":"20_CR16","unstructured":"Hannula, M., Hirvonen, \u00c5., Kontinen, J., Kulikov, V., Virtema, J.: Facets of distribution identities in probabilistic team semantics. CoRR abs\/1812.05873 (2018). \n                      http:\/\/arxiv.org\/abs\/1812.05873"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.ic.2016.04.001","volume":"249","author":"M Hannula","year":"2016","unstructured":"Hannula, M., Kontinen, J.: A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249, 121\u2013137 (2016). \n                      https:\/\/doi.org\/10.1016\/j.ic.2016.04.001","journal-title":"Inf. Comput."},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"198","DOI":"10.4204\/EPTCS.226.14","volume":"226","author":"Miika Hannula","year":"2016","unstructured":"Hannula, M., Kontinen, J., L\u00fcck, M., Virtema, J.: On quantified propositional logics and the exponential time hierarchy. In: GandALF. EPTCS, vol. 226, pp. 198\u2013212 (2016)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-319-72056-2_12","volume-title":"Logical Foundations of Computer Science","author":"M Hannula","year":"2018","unstructured":"Hannula, M., Kontinen, J., Virtema, J.: Polyteam semantics. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 190\u2013210. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-72056-2_12"},{"issue":"1","key":"20_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3157054","volume":"19","author":"Miika Hannula","year":"2018","unstructured":"Hannula, M., Kontinen, J., Virtema, J., Vollmer, H.: Complexity of propositional logics in team semantic. ACM Trans. Comput. Log. 19(1), 2:1\u20132:14 (2018). \n                      https:\/\/doi.org\/10.1145\/3157054","journal-title":"ACM Transactions on Computational Logic"},{"issue":"4","key":"20_CR21","first-page":"539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information. J. Interest Group Pure Appl. Logics 5(4), 539\u2013563 (1997)","journal-title":"J. Interest Group Pure Appl. Logics"},{"issue":"5-6","key":"20_CR22","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/s00153-017-0535-x","volume":"56","author":"Tapani Hyttinen","year":"2017","unstructured":"Hyttinen, T., Paolini, G., V\u00e4\u00e4n\u00e4nen, J.: A logic for arguing about probabilities in measure teams. Arch. Math. Logic 56(5-6), 475\u2013489 (2017). \n                      https:\/\/doi.org\/10.1007\/s00153-017-0535-x","journal-title":"Archive for Mathematical Logic"},{"key":"20_CR23","doi-asserted-by":"publisher","unstructured":"Krebs, A., Meier, A., Virtema, J., Zimmermann, M.: Team semantics for the specification and verification of hyperproperties. In: Potapov, I., Spirakis, P., Worrell, J. (eds.) 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Leibniz International Proceedings in Informatics (LIPIcs), vol. 117, pp. 10:1\u201310:16. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2018). \n                      https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2018.10","DOI":"10.4230\/LIPIcs.MFCS.2018.10"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"L\u00fcck, M.: Canonical models and the complexity of modal team logic. In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, 4\u20137 September 2018, Birmingham, UK, pp. 30:1\u201330:23 (2018). \n                      https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2018.30","DOI":"10.4230\/LIPIcs.CSL.2018.30"},{"key":"20_CR25","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.artint.2013.06.005","volume":"202","author":"M Niepert","year":"2013","unstructured":"Niepert, M., Gyssens, M., Sayrafi, B., Gucht, D.V.: On the conditional independence implication problem: a lattice-theoretic approach. Artif. Intell. 202, 29\u201351 (2013). \n                      https:\/\/doi.org\/10.1016\/j.artint.2013.06.005","journal-title":"Artif. Intell."},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic. Cambridge University Press, Cambridge (2007)","DOI":"10.1017\/CBO9780511611193"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:38:06Z","timestamp":1558348686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}