{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:47:37Z","timestamp":1725558457727},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408017"},{"type":"electronic","value":"9783540452201"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45220-1_8","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T19:33:58Z","timestamp":1277494438000},"page":"72-85","source":"Crossref","is-referenced-by-count":3,"title":["Parity of Imperfection or Fixing Independence"],"prefix":"10.1007","author":[{"given":"Julian C.","family":"Bradfield","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1051\/ita:1999122","volume":"33","author":"J.C. Bradfield","year":"1999","unstructured":"Bradfield, J.C.: Fixpoints in arithmetic, transition systems and trees. Theoretical Informatics and Applications\u00a033, 341\u2013356 (1999)","journal-title":"Theoretical Informatics and Applications"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-44622-2_16","volume-title":"Computer Science Logic","author":"J.C. Bradfield","year":"2000","unstructured":"Bradfield, J.C.: Independence: logics and concurrency. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 247\u2013261. Springer, Heidelberg (2000)"},{"key":"8_CR3","first-page":"102","volume":"9","author":"J.C. Bradfield","year":"2002","unstructured":"Bradfield, J.C., Fr\u00f6schle, S.B.: Independence-friendly modal logic and true concurrency. Nordic J. Computing\u00a09, 102\u2013117 (2002)","journal-title":"Nordic J. Computing"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"673","DOI":"10.2307\/2695036","volume":"66","author":"P. Cameron","year":"2001","unstructured":"Cameron, P., Hodges, W.: Some combinatorics of imperfect information. J. Symbolic Logic\u00a066, 673\u2013684 (2001)","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"188","DOI":"10.2307\/2272958","volume":"41","author":"D. Cenzer","year":"1976","unstructured":"Cenzer, D.: Monotone inductive definitions over the continuum. J. Symbolic Logic\u00a041(1), 188\u2013198 (1976)","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"545","DOI":"10.2307\/2275546","volume":"62","author":"G. Gottlob","year":"1997","unstructured":"Gottlob, G.: Relativized logspace and generalized quantifiers over finite ordered structures. J. Symbolic Logic\u00a062(2), 545\u2013574 (1997)","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"8_CR7","first-page":"169","volume":"1","author":"J. Hintikka","year":"1996","unstructured":"Hintikka, J., Sandu, G.: A revolution in logic? Nordic J. Philos. Logic\u00a01(2), 169\u2013183 (1996)","journal-title":"Nordic J. Philos. Logic"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information, Int. J. IGPL\u00a05(4), 539\u2013563","DOI":"10.1093\/jigpal\/5.4.539"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45220-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:01:47Z","timestamp":1559206907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45220-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408017","9783540452201"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45220-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}