{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:19Z","timestamp":1760202679238},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662458235"},{"type":"electronic","value":"9783662458242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-45824-2_7","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T11:07:51Z","timestamp":1417432071000},"page":"100-118","source":"Crossref","is-referenced-by-count":7,"title":["Hierarchies in Inclusion Logic with Lax Semantics"],"prefix":"10.1007","author":[{"given":"Miika","family":"Hannula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","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. Annals of Pure and Applied Logic\u00a0163(1), 68 (2012)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611193"},{"issue":"4","key":"7_CR3","first-page":"539","volume":"5","author":"W. Hodges","year":"1997","unstructured":"Hodges, W.: Compositional Semantics for a Language of Imperfect Information. Journal of the Interest Group in Pure and Applied Logics\u00a05(4), 539\u2013563 (1997)","journal-title":"Journal of the Interest Group in Pure and Applied Logics"},{"key":"7_CR4","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","first-page":"263","volume-title":"Computer Science Logic 2013 (CSL 2013)","author":"P. Galliani","year":"2013","unstructured":"Galliani, P., Hannula, M., Kontinen, J.: Hierarchies in independence logic. In: Rocca, S.R.D. (ed.) Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a023, pp. 263\u2013280. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2013)"},{"key":"7_CR5","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","first-page":"281","volume-title":"Computer Science Logic 2013 (CSL 2013)","author":"P. Galliani","year":"2013","unstructured":"Galliani, P., Hella, L.: Inclusion Logic and Fixed Point Logic. In: Rocca, S.R.D. (ed.) Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a023, pp. 281\u2013295. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2013)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s11229-008-9415-6","volume":"167","author":"S. Abramsky","year":"2009","unstructured":"Abramsky, S., V\u00e4\u00e4n\u00e4nen, J.: From IF to BI. Synthese\u00a0167, 207\u2013230 (2009), doi:10.1007\/s11229-008-9415-6","journal-title":"Synthese"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11225-013-9476-5","volume":"101","author":"F. Yang","year":"2013","unstructured":"Yang, F.: Expressing Second-order Sentences in Intuitionistic Dependence Logic. Studia Logica\u00a0101(2), 323\u2013342 (2013)","journal-title":"Studia Logica"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.10.033","volume":"493","author":"E. Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E.: Model-checking games for logics of imperfect information. Theor. Comput. Sci.\u00a0493, 2\u201314 (2013)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR9","unstructured":"Kontinen, J.: Coherence and computational complexity of quantifier-free dependence logic formulas. In: Kontinen, J., V\u00e4\u00e4n\u00e4nen, J. (eds.) Proceedings of Dependence and Independence in Logic. ESSLLI, pp. 58\u201377 (2010)"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2362355.2362359","volume":"13","author":"A. Durand","year":"2012","unstructured":"Durand, A., Kontinen, J.: Hierarchies in dependence logic. ACM Transactions on Computational Logic (TOCL)\u00a013(4), 31 (2012)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Galliani, P., V\u00e4\u00e4n\u00e4nen, J.A.: On dependence logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logical and Informational Dynamics, pp. 101\u2013119. Springer (2014)","DOI":"10.1007\/978-3-319-06025-5_4"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(83)90038-6","volume":"4","author":"M. Ajtai","year":"1983","unstructured":"Ajtai, M.: \n                  $\\Sigma^1_1$\n                -formulae on finite structures. Ann. Pure Appl. Logic\u00a04(1), 1\u201348 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0168-0072(95)00072-0","volume":"82","author":"M. Grohe","year":"1996","unstructured":"Grohe, M.: Arity hierarchies. Ann. Pure Appl. Logic\u00a082(2), 103\u2013163 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Hannula, M., Kontinen, J.: Hierarchies in independence and inclusion logic with strict semantics. Journal of Logic and Computation (2014), doi: 10.1093\/logcom\/exu057","DOI":"10.1093\/logcom\/exu057"},{"issue":"2","key":"7_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\u00a0101(2), 399\u2013410 (2013)","journal-title":"Studia Logica"},{"issue":"4","key":"7_CR16","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/BF01305233","volume":"12","author":"E. Hrushovski","year":"1992","unstructured":"Hrushovski, E.: Extending partial isomorphisms of graphs. Combinatorica\u00a012(4), 411\u2013416 (1992)","journal-title":"Combinatorica"},{"key":"7_CR17","first-page":"1022","volume":"230","author":"R. Fra\u00efss\u00e9","year":"1950","unstructured":"Fra\u00efss\u00e9, R.: Sur une nouvelle classification des systmes de relations. Comptes Rendus\u00a0230, 1022\u20131024 (1950)","journal-title":"Comptes Rendus"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"A. Ehrenfeucht","year":"1961","unstructured":"Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fundamenta Mathematicae\u00a049, 129\u2013141 (1961)","journal-title":"Fundamenta Mathematicae"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-63172-0_41","volume-title":"Computer Science Logic","author":"H. Imhof","year":"1997","unstructured":"Imhof, H.: Computational aspects of arity hierarchies. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol.\u00a01258, pp. 211\u2013225. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45824-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T20:17:42Z","timestamp":1559074662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45824-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662458235","9783662458242"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45824-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}