{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:22:18Z","timestamp":1694625738550},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s11229-005-3878-5","type":"journal-article","created":{"date-parts":[[2006,4,25]],"date-time":"2006-04-25T18:01:54Z","timestamp":1145988114000},"page":"257-283","source":"Crossref","is-referenced-by-count":0,"title":["On The Computational Consequences of Independence in Propositional Logic"],"prefix":"10.1007","volume":"149","author":[{"given":"Merlijn","family":"Sevenster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3878_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00258419","volume":"8","author":"J. Barwise","year":"1979","journal-title":"Journal of Philosophical Logic"},{"key":"3878_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(86)90040-0","volume":"32","author":"A. Blass","year":"1986","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"3878_CR3","first-page":"102","volume":"9","author":"J. C. Bradfield","year":"2002","journal-title":"Nordic Journal of Computing"},{"key":"3878_CR4","unstructured":"Dechesne, F.: 2005, Game, Set, Maths: Formal Investigations into Logic with Imperfect Information, Ph.D. thesis, SOBU, Tilburg university and Technische Universiteit Eindhoven."},{"key":"3878_CR5","unstructured":"Fagin, R.: 1974, \u2018Generalized First-order Spectra and Polynomial-Time Recognizable Sets\u2019, in R. M. Karp (eds.), SIAM-AMS Proceedings, Complexity of Computation, Vol. 7, pp. 43\u201373."},{"key":"3878_CR6","volume-title":"Computers and Intractability: A Guide to the Theory of NP-completeness","author":"M. Garey","year":"1979"},{"key":"3878_CR7","first-page":"167","volume-title":"Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics","author":"L. Henkin","year":"1961"},{"key":"3878_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624919","volume-title":"Principles of Mathematics Revisited","author":"J. Hintikka","year":"1996"},{"key":"3878_CR9","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/B978-044481714-3\/50009-6","volume-title":"Handbook of Logic and Language","author":"J. Hintikka","year":"1997"},{"key":"3878_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1026502210492","volume":"10","author":"W. Hodges","year":"2001","journal-title":"Journal of Logic, Language and Information"},{"key":"3878_CR11","volume-title":"Propositional Logic: Deduction and Algo- rithms, Vol. 48 of Cambridge Tracts in Theoretical Computer Science","author":"H. Kleine B\u00fcning","year":"1999"},{"key":"3878_CR12","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/0899-8256(92)90035-Q","volume":"4","author":"D. Koller","year":"1992","journal-title":"Games and Economic Behavior"},{"key":"3878_CR13","unstructured":"Osborne, M. J. and A. Rubinstein: 1994, A Course in Game Theory, MIT Press."},{"key":"3878_CR14","volume-title":"Computational Complexity","author":"C.H. Papadimitriou","year":"1994"},{"key":"3878_CR15","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1016\/S0898-1221(00)00333-3","volume":"41","author":"G. Peterson","year":"2001","journal-title":"Computers and Mathematics with Applications"},{"key":"3878_CR16","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1026530709583","volume":"10","author":"G. Sandu","year":"2001","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"3878_CR17","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1093\/jigpal\/9.1.101","volume":"9","author":"G. Sandu","year":"2001","journal-title":"Logic Journal of the IGPL"},{"key":"3878_CR18","unstructured":"Sandu, G. and A. Pietarinen: 2003, \u2018Informationally Independent Connectives\u2019, in G. Mints and R. Muskens (eds.), Games, Logic, and Constructive Sets, CSLI Publications, pp. 23\u201341."},{"key":"3878_CR19","unstructured":"Sevenster, M.: 2005, \u2018A Computational Universal for Generalized Quantifiers in Natural Language\u2019, Manuscript."},{"key":"3878_CR20","volume-title":"Independence-Friendly Modal Logic","author":"T. Tulenheimo","year":"2004"},{"key":"3878_CR21","unstructured":"van Benthem, J. F. A. K.: 2000, Logic and Games, Lecture Notes, Draft version."},{"key":"3878_CR22","doi-asserted-by":"crossref","unstructured":"van Emde Boas, P.: 2003, \u2018Games, Complexity and Interaction: The role of games in computer science\u2019, in H. Kilov and K. Baclawski (eds.), Practical Foundations of Business System Specifications, Kluwer Academic Publishers, pp. 313\u2013327.","DOI":"10.1007\/978-94-017-2740-2_17"},{"key":"3878_CR23","doi-asserted-by":"crossref","first-page":"535","DOI":"10.2307\/2271440","volume":"35","author":"W. Walkoe","year":"1970","journal-title":"Journal of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3878-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-005-3878-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3878-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-3878-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,14]],"date-time":"2022-05-14T18:44:50Z","timestamp":1652553890000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-005-3878-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["3878"],"URL":"https:\/\/doi.org\/10.1007\/s11229-005-3878-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}