{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:57Z","timestamp":1755220977451,"version":"3.43.0"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1004927613994","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"3-16","source":"Crossref","is-referenced-by-count":2,"title":["A Logic for Information Systems"],"prefix":"10.1007","volume":"58","author":[{"given":"Dmitri A.","family":"Archangelsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail A.","family":"Taitslin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"126254_CR1","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., 1989, 'Modal logics for knowledge representation systems', LNCS\n363, 257-277.","DOI":"10.1007\/3-540-51237-3_21"},{"key":"126254_CR2","doi-asserted-by":"crossref","first-page":"383","DOI":"10.3233\/FI-1992-163-411","volume":"16","author":"D. Vakarelov","year":"1992","unstructured":"Vakarelov, D., 1992, 'Inductive modal logic', Fundamenta Informaticae\n16, 383-405.","journal-title":"Fundamenta Informaticae"},{"key":"126254_CR3","first-page":"433","volume":"90","author":"D. Vakarelov","year":"1990","unstructured":"Vakarelov, D., 1990, 'Modal logics for knowledge representation systems', Theoretical Computer Science\n90, 433-456.","journal-title":"Theoretical Computer Science"},{"key":"126254_CR4","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z., 1981, 'Information systems-theoretical foundations', Information Systems\n6, 205-218.","journal-title":"Information Systems"},{"key":"126254_CR5","volume-title":"Systemy Informacyine","author":"Z. Pawlak","year":"1983","unstructured":"Pawlak, Z., 1983, Systemy Informacyine, WNT, Warszawa."},{"key":"126254_CR6","unstructured":"Orlowska, E., Z. Pawlak, 1984, Logical foundation of knowledge representation, ICS PAS\n537, Warszawa."},{"key":"126254_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Orlowska","year":"1984","unstructured":"Orlowska, E., Z. Pawlak, 1984, 'Representation of nondeterministic information', Theoretical Computer Science\n29, 27-39.","journal-title":"Theoretical Computer Science"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004927613994.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004927613994\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004927613994.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:22:45Z","timestamp":1754630565000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004927613994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["126254"],"URL":"https:\/\/doi.org\/10.1023\/a:1004927613994","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}