{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:53:28Z","timestamp":1742964808408,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030148119"},{"type":"electronic","value":"9783030148126"}],"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-14812-6_16","type":"book-chapter","created":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T23:44:24Z","timestamp":1554853464000},"page":"262-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Continuous Team Semantics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2149-4153","authenticated-orcid":false,"given":"\u00c5sa","family":"Hirvonen","sequence":"first","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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0173-3295","authenticated-orcid":false,"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,6]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31803-5","volume-title":"Dependence Logic: Theory and Applications","year":"2016","unstructured":"Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J., Vollmer, H. (eds.): Dependence Logic: Theory and Applications. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31803-5"},{"key":"16_CR2","series-title":"London Math Society Lecture Note Series","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1017\/CBO9780511735219.011","volume-title":"Model Theory with Applications to Algebra and Analysis, Vol. II","author":"IB Yaacov","year":"2008","unstructured":"Yaacov, I.B., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. In: Chatzidakis, Z., Macpherson, D., Pillay, A., Wilkie, A. (eds.) Model Theory with Applications to Algebra and Analysis, Vol. II. London Math Society Lecture Note Series, vol. 350, pp. 315\u2013427. Cambridge University Press, Cambridge (2008)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-0-387-68546-5_18","volume-title":"New Computational Paradigms: Changing Conceptions of What is Computable","author":"V Brattka","year":"2008","unstructured":"Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. In: Cooper, B., L\u00f6we, B., Sorbi, A. (eds.) New Computational Paradigms: Changing Conceptions of What is Computable, pp. 425\u2013491. Springer, New York (2008). https:\/\/doi.org\/10.1007\/978-0-387-68546-5_18"},{"key":"16_CR4","series-title":"Oxford Logic Guides","volume-title":"From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics","year":"2005","unstructured":"Crosilla, L., Schuster, P. (eds.): From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford Logic Guides, vol. 48. Clarendon, Oxford (2005)"},{"key":"16_CR5","unstructured":"Diener, H.: Constructive reverse mathematics. arXiv:1804.05495 (2018)"},{"issue":"3\u20134","key":"16_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10472-017-9568-4","volume":"83","author":"A 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). https:\/\/doi.org\/10.1007\/s10472-017-9568-4","journal-title":"Ann. Math. Artif. Intell."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-319-31803-5_2","volume-title":"Dependence Logic: Theory and Applications","author":"A Durand","year":"2016","unstructured":"Durand, A., Kontinen, J., Vollmer, H.: Expressivity and complexity of dependence logic. In: Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J., Vollmer, H. (eds.) Dependence Logic: Theory and Applications, pp. 5\u201332. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31803-5_2"},{"issue":"1","key":"16_CR8","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 in team semantics: on some logics of imperfect information. Ann. Pure Appl. Logic 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"16_CR9","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. Stud. Log. 101(2), 399\u2013410 (2013)","journal-title":"Stud. Log."},{"key":"16_CR10","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). https:\/\/doi.org\/10.1016\/j.ic.2016.04.001","journal-title":"Inf. Comput."},{"key":"16_CR11","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 J. IGPL 5, 539\u2013563 (1997)","journal-title":"Logic J. IGPL"},{"issue":"4","key":"16_CR12","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1017\/S1755020315000192","volume":"8","author":"T Hyttinen","year":"2015","unstructured":"Hyttinen, T., Paolini, G., V\u00e4\u00e4n\u00e4nen, J.: Quantum team logic and Bell\u2019s inequalities. Rev. Symb. Logic 8(4), 722\u2013742 (2015). https:\/\/doi.org\/10.1017\/S1755020315000192","journal-title":"Rev. Symb. Logic"},{"issue":"5\u20136","key":"16_CR13","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/s00153-017-0535-x","volume":"56","author":"T Hyttinen","year":"2017","unstructured":"Hyttinen, T., Paolini, G., V\u00e4\u00e4n\u00e4nen, J.: A logic for arguing about probabilities in measure teams. Arch. Math. Log. 56(5\u20136), 475\u2013489 (2017). https:\/\/doi.org\/10.1007\/s00153-017-0535-x","journal-title":"Arch. Math. Log."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Ishihara, H.: Constructive reverse mathematics: compactness properties. In: [4], pp. 245\u2013267 (2005)","DOI":"10.1093\/acprof:oso\/9780198566519.003.0016"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Koudas, N., Saha, A., Srivastava, D., Venkatasubramanian, S.: Metric functional dependencies. In: Proceedings of the 2009 IEEE International Conference on Data Engineering, pp. 1275\u20131278. ICDE 2009. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/ICDE.2009.219","DOI":"10.1109\/ICDE.2009.219"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1017\/jsl.2015.16","volume":"81","author":"G Paolini","year":"2016","unstructured":"Paolini, G., V\u00e4\u00e4n\u00e4nen, J.: Dependence logic in pregeometries and $$\\omega $$-stable theories. J. Symb. Logic 81(1), 32\u201355 (2016). https:\/\/doi.org\/10.1017\/jsl.2015.16","journal-title":"J. Symb. Logic"},{"key":"16_CR17","unstructured":"Park, C., Park, J., Park, S., Seon, D., Ziegler, M.: Computable operations on compact subsets of metric spaces with applications to Fr\u00e9chet distance and shape optimization. arXiv 1701.08402 (2017). http:\/\/arxiv.org\/abs\/1701.08402"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3233\/COM-150049","volume":"5","author":"Arno Pauly","year":"2016","unstructured":"Pauly, A.: On the topological aspects of the theory of represented spaces. Computability 5(2), 159\u2013180 (2016). https:\/\/doi.org\/10.3233\/COM-150049, http:\/\/arxiv.org\/abs\/1204.3763","journal-title":"Computability"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Pauly, A., Fouch\u00e9, W.: How constructive is constructing measures? J. Logic Anal. 9 (2017). http:\/\/logicandanalysis.org\/index.php\/jla\/issue\/view\/16","DOI":"10.4115\/jla.2017.9.c3"},{"key":"16_CR20","doi-asserted-by":"publisher","unstructured":"Rettinger, R., Weihrauch, K.: Products of effective topological spaces and a uniformly computable Tychonoff Theorem. Log. Methods Comput. Sci. 9(4) (2013). https:\/\/doi.org\/10.2168\/LMCS-9(4:14)2013","DOI":"10.2168\/LMCS-9(4:14)2013"},{"key":"16_CR21","series-title":"Perspectives in Logic","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"S Simpson","year":"2009","unstructured":"Simpson, S.: Subsystems of Second Order Arithmetic. Perspectives in Logic. Cambridge University Press, Cambridge (2009)"},{"key":"16_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, Cambridge (2007)"},{"key":"16_CR23","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-47843-2_12","volume-title":"Rohit Parikh on Logic, Language and Society","author":"J V\u00e4\u00e4n\u00e4nen","year":"2017","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: The logic of approximate dependence. In: Ba\u015fkent, C., Moss, L.S., Ramanujam, R. (eds.) Rohit Parikh on Logic, Language and Society. OCL, vol. 11, pp. 227\u2013234. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-47843-2_12"},{"key":"16_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-14812-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:08:58Z","timestamp":1709824138000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-14812-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030148119","9783030148126"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-14812-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 March 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAMC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Applications of Models of Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kitakyushu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","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":"13 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tamc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}