{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:11:58Z","timestamp":1775038318438,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T00:00:00Z","timestamp":1473897600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["639.032.918"],"award-info":[{"award-number":["639.032.918"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s00153-016-0505-8","type":"journal-article","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T09:37:33Z","timestamp":1473932253000},"page":"955-975","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Structural completeness in propositional logics of dependence"],"prefix":"10.1007","volume":"55","author":[{"given":"Rosalie","family":"Iemhoff","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0392-6522","authenticated-orcid":false,"given":"Fan","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,15]]},"reference":[{"issue":"3","key":"505_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1305\/ndjfl\/1091030856","volume":"44","author":"JP Burgess","year":"2003","unstructured":"Burgess, J.P.: A remark on henkin sentences and their contraries. Notre Dame J. Form. Log. 44(3), 185\u2013188 (2003)","journal-title":"Notre Dame J. Form. Log."},{"key":"505_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, New York (1997)"},{"key":"505_CR3","doi-asserted-by":"crossref","unstructured":"Ciardelli, I.: Dependency as question entailment. In: Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J. (eds.) Dependence Logic: Theory and Application, Progress in Computer Science and Applied Logic, pp. 129\u2013181. Birkhauser (2016)","DOI":"10.1007\/978-3-319-31803-5_8"},{"issue":"1","key":"505_CR4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli, I., Roelofsen, F.: Inquisitive logic. J. Philos. Logic 40(1), 55\u201394 (2011)","journal-title":"Inquisitive logic. J. Philos. Logic"},{"key":"505_CR5","doi-asserted-by":"crossref","unstructured":"Ebbing, J., Hella, L., Meier, A., M\u00fcller, J.S., Virtema, J., Vollmer, H.: Extended modal dependence logic. 20th International Workshop. WoLLIC 2013, Proceedings, Lecture Notes in Computer Science, vol. 8071, pp. 126\u2013137. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39992-3_13"},{"key":"505_CR6","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","volume":"64","author":"S Ghilardi","year":"1999","unstructured":"Ghilardi, S.: Unification in intuitionistic logic. J. Symb. Logic 64, 859\u2013880 (1999)","journal-title":"J. Symb. Logic"},{"key":"505_CR7","unstructured":"Hella, L., Luosto, K., Sano, K., Virtema, J.: The Expressive Power of Modal Dependence Logic. In: Advances in Modal Logic 10, Invited and Contributed Papers from the Tenth Conference on Advances in Modal Logic, College Publications, London, 294\u2013312 (2014)"},{"key":"505_CR8","unstructured":"Henkin, L.: Some remarks on infinitely long formulas. Infinitistic Methods. In: Proceedings Symposium Foundations of Mathematics, pp. 167\u2013183. Pergamon, Warsaw (1961)"},{"key":"505_CR9","volume-title":"The Principles of Mathematics Revisited","author":"J Hintikka","year":"1998","unstructured":"Hintikka, J.: The Principles of Mathematics Revisited. Cambridge University Press, Cambridge (1998)"},{"key":"505_CR10","first-page":"571","volume-title":"Logic, Methodology and Philosophy of Science","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Fenstad, R.H.J.E., Frolov, I.T. (eds.) Logic, Methodology and Philosophy of Science, pp. 571\u2013589. Elsevier, Amsterdam (1989)"},{"key":"505_CR11","doi-asserted-by":"crossref","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. Log. J. IGPL 5, 539\u2013563 (1997)","journal-title":"Log. J. IGPL"},{"key":"505_CR12","series-title":"Ehrenfeucht, Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-63246-8_4","volume-title":"Structures in Logic and Computer Science: A Selection of Essays in Honor of A","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Some strange quantifiers. In: Mycielski, J., Rozenberg, G., Salomaa, A. (eds.) Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht, Lecture Notes in Computer Science, vol. 1261, pp. 51\u201365. Springer, London (1997)"},{"key":"505_CR13","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2694922","volume":"66","author":"R Iemhoff","year":"2001","unstructured":"Iemhoff, R.: On the admissible rules of intuitionistic propositional logic. J. Symb. Log. 66, 281\u2013294 (2001)","journal-title":"J. Symb. Log."},{"key":"505_CR14","unstructured":"Iemhoff, R.: Consequence relations and admissible rules. Tech. Rep. 314, Department of Philosophy. Utrecht University, Utrecht (2013)"},{"key":"505_CR15","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/logcom\/exi029","volume":"15","author":"E Je\u0159\u00e1bek","year":"2005","unstructured":"Je\u0159\u00e1bek, E.: Admissible rules of modal logics. J. Log. Comput. 15, 411\u2013431 (2005)","journal-title":"J. Log. Comput."},{"issue":"1","key":"505_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1215\/00294527-2010-036","volume":"52","author":"J Kontinen","year":"2011","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.: A remark on negation in dependence logic. Notre Dame J. Form. Log. 52(1), 55\u201365 (2011)","journal-title":"Notre Dame J. Form. Log."},{"issue":"2","key":"505_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10849-015-9217-4","volume":"24","author":"A Kuusisto","year":"2015","unstructured":"Kuusisto, A.: A double team semantics for generalized quantifiers logic. J. Logic Lang. Inform. 24(2), 149\u2013191 (2015)","journal-title":"J. Logic Lang. Inform."},{"issue":"2","key":"505_CR18","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/s11225-013-9483-6","volume":"101","author":"P Lohmann","year":"2013","unstructured":"Lohmann, P., Vollmer, H.: Complexity results for modal dependence logic. Stud. Logica. 101(2), 343\u2013366 (2013)","journal-title":"Stud. Logica."},{"key":"505_CR19","doi-asserted-by":"crossref","unstructured":"Metcalfe, G.: Admissible rules: From characterizations to applications. In: Proceedings of WoLLIC 2012, LNCS, vol. 7456, pp. 56\u201369. Springer (2012)","DOI":"10.1007\/978-3-642-32621-9_4"},{"issue":"4","key":"505_CR20","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1305\/ndjfl\/1093635238","volume":"30","author":"P Miglioli","year":"1989","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M., Quazza, S., Usberti, G.: Some results on intermediate constructive logics. Notre Dame J. Form. Log. 30(4), 543\u2013562 (1989)","journal-title":"Notre Dame J. Form. Log."},{"key":"505_CR21","unstructured":"Rozi\u00e8re, P.: Regles admissibles en calcul propositionnel intuitionniste. Ph.D. thesis, Universit\u00e9 Paris VII (1992)"},{"key":"505_CR22","volume-title":"Admissibility of Logical Inference Rules","author":"V Rybakov","year":"1997","unstructured":"Rybakov, V.: Admissibility of Logical Inference Rules. Elsevier, Amsterdam (1997)"},{"key":"505_CR23","unstructured":"Sano, K., Virtema, J.: Axiomatizing Propositional Dependence Logics Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 292\u2013307 (2015)"},{"key":"505_CR24","doi-asserted-by":"crossref","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":"505_CR25","unstructured":"Wojtylak, P.: On a problem of H. Friedman and its solution by T. Prucnal. Rep. Math. Log. 38, 69\u201386 (2004)"},{"key":"505_CR26","unstructured":"Yang, F.: On extensions and variants of dependence logic. Ph.D. thesis, University of Helsinki (2014)"},{"issue":"7","key":"505_CR27","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1016\/j.apal.2016.03.003","volume":"167","author":"F Yang","year":"2016","unstructured":"Yang, F., V\u00e4\u00e4n\u00e4nen, J.: Propositional logics of dependence. Ann. Pure Appl. Log. 167(7), 557\u2013589 (2016)","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0505-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0505-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0505-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T11:04:25Z","timestamp":1718795065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0505-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,15]]},"references-count":27,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["505"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0505-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,15]]}}}