{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:50Z","timestamp":1725662930092},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164449"},{"type":"electronic","value":"9783540397847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16444-8_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:41:52Z","timestamp":1330195312000},"page":"123-139","source":"Crossref","is-referenced-by-count":10,"title":["Approximation logic"],"prefix":"10.1007","author":[{"given":"Helena","family":"Rasiowa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Skowron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"8_CR1","volume-title":"An introduction to modal logic","author":"M.J. Cresswell","year":"1968","unstructured":"Cresswell, M.J. and Hughes, G.E. (1968). An introduction to modal logic. London: Methuen and Co Ltd."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M. (1976). Investigations in modal and tense logics with applications to problems in philosophy and linguistics. Reidel Synthese Library, 92.","DOI":"10.1007\/978-94-010-1453-3"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1016\/S0020-7373(84)80023-1","volume":"20","author":"E. Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E. and Pawlak, Z. (1984). Expressive power of knowledge representation systems. International Journal of Man-Machine Studies 20, 485\u2013500.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"5","key":"8_CR4","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z. (1982). Rough sets. International Journal of Computer and Information Sciences, 11(5), 341\u2013356.","journal-title":"International Journal of Computer and Information Sciences"},{"key":"8_CR5","volume-title":"Mathematics of metamathematics","author":"H. Rasiowa","year":"1970","unstructured":"Rasiowa, H. and Sikorski, R. (1970). Mathematics of metamathematics. Warsaw: PWN."},{"key":"8_CR6","unstructured":"Rasiowa, H. and Skowron, A. (1984). Rough concepts logic. Lectures Notes in Computer Science (to appear)."},{"key":"8_CR7","unstructured":"Rasiowa, H. and Skowron, A. (1985). Approximate reasoning (in preparation)."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Scott, D. Domains for denotational semantics. A corrected and expanded version of a paper prepared for ICALP\u221282, Aarhus, Denmark, July 1982.","DOI":"10.1007\/BFb0012801"}],"container-title":["Lecture Notes in Computer Science","Mathematical Methods of Specification and Synthesis of Software Systems '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16444-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:13Z","timestamp":1605643813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16444-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164449","9783540397847"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-16444-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}