{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:33Z","timestamp":1725663633102},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512370"},{"type":"electronic","value":"9783540461807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51237-3_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:48:49Z","timestamp":1330202929000},"page":"257-277","source":"Crossref","is-referenced-by-count":14,"title":["Modal logics for knowledge representation systems"],"prefix":"10.1007","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Z. Pawlak, Information systems-theoretical foundations, Information Systems, 6(1981), pp 205\u2013218.","journal-title":"Information Systems"},{"key":"21_CR2","volume-title":"Systemy Informacyjne","author":"Z. Pawlak","year":"1983","unstructured":"Z. Pawlak, Systemy Informacyjne, WNT, Warszawa, 1983."},{"key":"21_CR3","unstructured":"E. Orlowska and Z. Pawlak, Logical foundations of knowledge representation, ICS PAS Reports 537 (1984)."},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Orlowska","year":"1984","unstructured":"E. Orlowska and Z. Pawlak, Representation of nondeterministic information, Theor. Computer Science, 29(1984), pp 27\u201339.","journal-title":"Theor. Computer Science"},{"key":"21_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370813","volume":"1","author":"E. Orlowska","year":"1985","unstructured":"E. Orlowska, Logic of nondeterministic information, Studia Logica 1(1985), pp 91\u2013100.","journal-title":"Studia Logica"},{"key":"21_CR6","unstructured":"D. Vakarelov, Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information, in Artificial Intelligence II, Ph. Jorrand and V. Sgurev ed. North-Holland 1987"},{"key":"21_CR7","unstructured":"D. Vakarelov, S4 and S5 together \u2014 S4+5. In B International Congress of Logic Methodology and Philosophy of Science LMPS'87, Moscow, USSR, 17\u201322 August 1987, Abstracts, vol. 5, part 3, pp 271\u2013274."},{"key":"21_CR8","unstructured":"K. Segerberg, An Essay in Classical Modal Logic, Upsala, 1971."},{"key":"21_CR9","volume-title":"A companion to Modal Logic","author":"G. E. Hughes","year":"1984","unstructured":"Hughes. G. E. & M. J. Crasswell, A companion to Modal Logic, Methuen, London, 1984."},{"key":"21_CR10","unstructured":"D. Vakarelov, Modal Characterizations of Classes of Finite and Infinite Quasi-ordered Sets, 1988, in the proc. of the summer school & conference on mathematical logic \u201cHeyting'88\u201d, September 13\u201323, 1988, Chaika near Varna, Bulgaria."}],"container-title":["Lecture Notes in Computer Science","Logic at Botik '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51237-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:02:15Z","timestamp":1619571735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51237-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512370","9783540461807"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-51237-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}