{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:46:35Z","timestamp":1725662795946},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"license":[{"start":{"date-parts":[[1977,1,1]],"date-time":"1977-01-01T00:00:00Z","timestamp":220924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_158","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:24:50Z","timestamp":1330169090000},"page":"374-381","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On the logic of incomplete information"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Witold","family":"Lipski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"36_CR1","first-page":"421","volume":"7","author":"P. H\u00e1jek","year":"1971","unstructured":"H\u00e1jek, P., Bendov\u00e1, K. and Renc, Z., The GUHA method and the three-valued logic. Kybernetika 7 (1971) 421\u2013435.","journal-title":"Kybernetika"},{"key":"36_CR2","first-page":"95","volume":"10","author":"P. H\u00e1jek","year":"1974","unstructured":"H\u00e1jek, P., Automatic listing of important observational statements III. Kybernetika 10 (1974) 95\u2013124.","journal-title":"Kybernetika"},{"key":"36_CR3","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1112\/jlms\/s1-10.37.26","volume":"10","author":"Ph. Hall","year":"1935","unstructured":"Hall, Ph., On representatives of subsets. J. Lond. Math. Soc. 10 (1935) 26\u201330.","journal-title":"J. Lond. Math. Soc."},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1137\/0202019","volume":"2","author":"J. E. Hopcroft","year":"1973","unstructured":"Hopcroft, J. E. and Karp, R. M., An n5\/2 algorithm for maximum matchings in bipartite graphs. SIAM J. Comp. 2 (1973) 225\u2013231.","journal-title":"SIAM J. Comp."},{"key":"36_CR5","unstructured":"Jaegermann, M., Information storage and retrieval systems \u2014 mathematical foundations IV. Systems with incomplete information. Fundamenta Informaticae, to appear (a preliminary version available as CC PAS Report 214, Warsaw 1975)."},{"key":"36_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. A. Kripke","year":"1963","unstructured":"Kripke, S. A., Semantical analysis of modal logic I. Zeitschr. Math. Logik Grund. Math. 9 (1963) 67\u201396.","journal-title":"Zeitschr. Math. Logik Grund. Math."},{"key":"36_CR7","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/malq.19620080204","volume":"8","author":"S. A. Kripke","year":"1962","unstructured":"Kripke, S. A., The undecidability of monadic modal quantification theory. Zeitschr. Math. Logik Grund. Math. 8 (1962) 113\u2013116.","journal-title":"Zeitschr. Math. Logik Grund. Math."},{"key":"36_CR8","first-page":"120","volume-title":"Proc. Third International Colloquium on Automata, Languages and Programming, Edinburgh 1976","author":"W. Lipski","year":"1976","unstructured":"Lipski, W., Informational systems with incomplete information. In: Proc. Third International Colloquium on Automata, Languages and Programming, Edinburgh 1976 (S. Michaelson and R. Milner, Eds), pp. 120\u2013130, Edinburgh University Press, Edinburgh 1976."},{"key":"36_CR9","unstructured":"Lipski, W., Informational systems: semantic issues related to incomplete information, Part I. CC PAS Report 275, Warsaw 1977."},{"key":"36_CR10","unstructured":"Lipski, W. and Marek, W., On information storage and retrieval systems. In: Proc. Summer School on Mathematical Foundations of Computer Science, Warsaw 1974 (A. Mazurkiewicz, Ed.), Banach Center Publications, vol. 2, Polish Scientific Publishers, to appear. (Also available as CC PAS Report 200, Warsaw 1975.)"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0304-3975(76)90077-3","volume":"1","author":"W Marek","year":"1976","unstructured":"Marek, W and Pawlak, Z., Information storage and retrieval systems: mathematical foundations. Theoretical Computer Science 1 (1976) 331\u2013354. (A preliminary version available as CC PAS Report 149, Warsaw 1974.)","journal-title":"Theoretical Computer Science"},{"key":"36_CR12","volume-title":"The mathematics of metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H. and Sikorski, R., The mathematics of metamathematics. Polish Scientific Publishers, Warsaw 1963."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_158","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T08:55:51Z","timestamp":1580288151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_158","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}