{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:23:31Z","timestamp":1726410211192},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399916"},{"type":"electronic","value":"9783642399923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_12","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T06:08:18Z","timestamp":1376460498000},"page":"111-125","source":"Crossref","is-referenced-by-count":0,"title":["Boolean Dependence Logic and Partially-Ordered Connectives"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Ebbing","sequence":"first","affiliation":[]},{"given":"Lauri","family":"Hella","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Lohmann","sequence":"additional","affiliation":[]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., V\u00e4\u00e4n\u00e4nen, J.: From IF to BI. Synthese\u00a0167(2) (2009)","DOI":"10.1007\/s11229-008-9415-6"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Barwise, J.: Applications of Strict \n                  \n                    \n                  \n                  $\\Pi^1_1$\n                 Predicates to Infinitary Logic. J. Symb. Log.\u00a034(3) (1969)","DOI":"10.2307\/2270906"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Annals of Pure and Applied Logic\u00a032 (1986)","DOI":"10.1016\/0168-0072(86)90040-0"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Durand, A., Kontinen, J.: Hierarchies in Dependence Logic. ACM Transactions on Computational Logic\u00a013(4) (2012)","DOI":"10.1145\/2362355.2362359"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.: Dependence and independence. Studia Logica (2013)","DOI":"10.1007\/s11225-013-9479-2"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1002\/malq.19700160802","volume":"16","author":"H.B. Enderton","year":"1970","unstructured":"Enderton, H.B.: Finite partially-ordered quantifiers. Z. Math. Logik Grundlagen Math.\u00a016, 393\u2013397 (1970)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Hella, L., Sevenster, M., Tulenheimo, T.: Partially Ordered Connectives and Monadic Monotone Strict NP. J. of Logic, Lang. and Inf.\u00a017(3) (2008)","DOI":"10.1007\/s10849-008-9058-5"},{"key":"12_CR8","unstructured":"Henkin, L.: Some remarks on infinitely long formulas. In: Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959). Pergamon, Oxford (1961)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Hintikka, J.: The principles of mathematics revisited. Cambridge Univ. Press (1996)","DOI":"10.1017\/CBO9780511624919"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Logic, Methodology and Philosophy of Science, VIII (Moscow, 1987). Stud. Logic Found. Math., vol.\u00a0126, pp. 571\u2013589 (1989)","DOI":"10.1016\/S0049-237X(08)70066-1"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Kontinen, J., Kuusisto, A., Lohmann, P., Virtema, J.: Complexity of two-variable Dependence Logic and IF-Logic. In: Proceedings of LICS 2011, pp. 289\u2013298 (2011)","DOI":"10.1109\/LICS.2011.14"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-642-15205-4_32","volume-title":"Computer Science Logic","author":"P. Lohmann","year":"2010","unstructured":"Lohmann, P., Vollmer, H.: Complexity results for modal dependence logic. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol.\u00a06247, pp. 411\u2013425. Springer, Heidelberg (2010)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Sandu, G., V\u00e4\u00e4n\u00e4nen, J.: Partially ordered connectives. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a038 (1992)","DOI":"10.1002\/malq.19920380101"},{"issue":"6","key":"12_CR14","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1093\/logcom\/exn102","volume":"19","author":"M. Sevenster","year":"2009","unstructured":"Sevenster, M.: Model-theoretic and computational properties of modal dependence logic. J. Log. Comput.\u00a019(6), 1157\u20131173 (2009)","journal-title":"J. Log. Comput."},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/11780342_52","volume-title":"Logical Approaches to Computational Barriers","author":"M. Sevenster","year":"2006","unstructured":"Sevenster, M., Tulenheimo, T.: Partially Ordered Connectives and \u22111\n                1 on Finite Models. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 516\u2013525. Springer, Heidelberg (2006)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence logic: A new approach to independence friendly logic. London Math. Soc. Stud. Texts, vol. 70 (2007)","DOI":"10.1017\/CBO9780511611193"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2307\/2271440","volume":"35","author":"W.J. Walkoe Jr.","year":"1970","unstructured":"Walkoe Jr., W.J.: Finite partially-ordered quantification. J. Symbolic Logic\u00a035, 535\u2013555 (1970)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T11:36:41Z","timestamp":1558006601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}