{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,3]],"date-time":"2026-08-03T18:35:36Z","timestamp":1785782136793,"version":"3.56.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf01053038","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T14:28:41Z","timestamp":1107008921000},"page":"205-228","source":"Crossref","is-referenced-by-count":13,"title":["A duality between Pawlak's knowledge representation systems and bi-consequence systems"],"prefix":"10.1007","volume":"55","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Modal Logic and Classical Logic","author":"J. F. A. K. Benthem","year":"1986","unstructured":"Benthem J. F. A. K.,Modal Logic and Classical Logic Bibliopolis, Napoly, 1986."},{"key":"CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical considerations in Heyting's Intuitionistic Logic, Synthese Library, v. 148.","author":"D. Gabbay","year":"1981","unstructured":"Gabbay D.,Semantical considerations in Heyting's Intuitionistic Logic, Synthese Library, v. 148., D. Reydel Publishing Company, Holland, 1981."},{"key":"CR3","volume-title":"A Companion to Modal Logic","author":"G. Hughes","year":"1984","unstructured":"Hughes G. &M. J. Cresswell,A Companion to Modal Logic Methuen, London, 1984."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1002\/malq.19840301305","volume":"30","author":"E. Orlowska","year":"1984","unstructured":"Orlowska, E., ?Modal logics in the theory of information systems?,Zeitschrift F\u00fcr Mathematishe Logic Und Grundlagen Der Mathematik 30(1984) 213?222.","journal-title":"Zeitschrift F\u00fcr Mathematishe Logic Und Grundlagen Der Mathematik"},{"key":"CR5","first-page":"93","volume":"XLIV","author":"E. Orlowska","year":"1985","unstructured":"Orlowska E., ?Logic of non-deterministic information?,Studia Logica XLIV(1985), 93?102.","journal-title":"Studia Logica"},{"key":"CR6","first-page":"177","volume":"208","author":"E. Orlowska","year":"1985","unstructured":"Orlowska E., ?Logic of indiscernibility relations?,ICS PAS Reports 546, 1984 LNCS 208, 1985, 177?186.","journal-title":"ICS PAS Reports 546, 1984"},{"key":"CR7","first-page":"327","volume-title":"Mathematical Problems in Computation Theory","author":"E. Orlowska","year":"1987","unstructured":"Orlowska E., ?Kripke models with relative accessibility relations and their applications to inferences from incomplete information?, in: G. Mirkowska and H. Rasiowa (eds.)Mathematical Problems in Computation Theory Banach Center Publikations 21, Polish Scientific Publishers, Warsaw, 1987, 327?337."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"359","DOI":"10.3233\/FI-1985-83-406","volume":"8","author":"E. Orlowska","year":"1988","unstructured":"Orlowska E., ?Logic approach to information systems?,Fundamenta Informaticae 8(1988), 359?378.","journal-title":"Fundamenta Informaticae"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00935602","volume":"2","author":"E. Orlowska","year":"1990","unstructured":"Orlowska E., ?Kripke semantics for knowledge representation logics?,Studia Logica XLIX, 2(1990), 255?272.","journal-title":"Studia Logica"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Orlowska E., ?Rough set semantics for nonclassical logics?, manuskript, June 1993.","DOI":"10.1007\/978-1-4471-3238-7_17"},{"key":"CR11","unstructured":"Orlowska E. andZ. Pawlak,Logical foundations of knowledge representation systems, ICS PAS Reports 573, 1984."},{"key":"CR12","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. andZ. Pawlak, ?Pepresentation of Nondeterministic Information?,Theoretical Computer Science 29(1984) 27?39.","journal-title":"Theoretical Computer Science"},{"key":"CR13","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., ?Information systems ? theoretical foundations?,Information Systems 6(1981), 205?218.","journal-title":"Information Systems"},{"key":"CR14","volume-title":"Systemy Informacyjne","author":"Z. Pawlak","year":"1983","unstructured":"Pawlak Z.,Systemy Informacyjne WNT, Warszawa, 1983, In Poish."},{"key":"CR15","volume-title":"Rough Sets. Theoretical Aspects of reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak Z.,Rough Sets. Theoretical Aspects of reasoning about Data. Kluwer Academic Publishers, Dordrecht\/Boston\/London, 1991."},{"key":"CR16","volume-title":"The mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa H. andR. Sikorski.The mathematics of Metamathematics PWN, Warsaw, 1963."},{"key":"CR17","volume-title":"?Domains for Denotational Semantics?, A corrected and expanded version of a paper prepared forICALP'82,","author":"D. Scott","year":"1982","unstructured":"Scott D., ?Domains for Denotational Semantics?, A corrected and expanded version of a paper prepared forICALP'82, Aarthus, Denmark 1982."},{"key":"CR18","unstructured":"Segerberg K.,Essay in Classical Modal Logic, Uppsala, 1971."},{"key":"CR19","volume-title":"Classical propositional operators","author":"K. Segerberg","year":"1982","unstructured":"Segerberg K.,Classical propositional operators Clarendon Press, Oxford, 1982."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Slowinski R., (ed.),Intelligent Decision Support, Handbook of Applications and Advances of Rough Sets Theory, Cluver Academic Publishers, 1992.","DOI":"10.1007\/978-94-015-7975-9"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Stone M., ?Topological Representation of Distributive Lattices and Brouwerian Logics?,Cas. Mat. Fys. No 67, 1937 pp. 1?25.","DOI":"10.21136\/CPMF.1938.124080"},{"key":"CR22","unstructured":"Vakarelov D., ?Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information?, in:Artificial Intelligence II, Methodology, Systems, Applications, Ph. Jorrand and V. Sgurev (eds), North-Holland, 1987."},{"key":"CR23","unstructured":"Vakarelov D., ?S4 and S5 together -S4+5?, in:8th International Congress of Logic, Methodology and Philosophy of Science, LMPS'87, Moscow, USSR, 17?22 August 1987, Abstracts, vol. 5, part 3, 271?274."},{"key":"CR24","unstructured":"Vakarelov D., ?Modal characterization of the classes of finite and infinite quasi-ordered sets?, SU\/LAL\/preprint No1, 1988,Proc. Summer School and Conference on Mathematical Logic, Heyting'88, Chajka near Varna, Bulgaria, 1988."},{"key":"CR25","first-page":"433","volume":"90","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov D., ?Modal logics for knowledge representation systems?,LNCS 363, 1989, 257?277,Theoretical Computer Science 90(1991) 433?456.","journal-title":"Theoretical Computer Science"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/FI-1991-15105","volume":"XV","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov D., ?A modal logic for similarity relations in Pawlak knowledge representation systems?,Fundamenta Informaticae XV (1991), 61?79.","journal-title":"Fundamenta Informaticae"},{"key":"CR27","unstructured":"Vakarelov D., ?Logical analysis of positive and nagative similarity relations in property systems?. in:WOCFAI'91, First World Conference in the Fundamentals of Artificial Intelligence, 1?5 July 1991, Paris, France, Proceedings (ed.) Mishel De Glas and Dov Gabbay, pp 491?499."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Vakarelov D., ?Consequence relations and information systems?, in:Intelligent Decision Support, Handbook of Applications and Advances of Rough Sets Theory, (ed.) R. Slowinski, Kluwer Academic Publishers, 1992.","DOI":"10.1007\/978-94-015-7975-9_24"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053038.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053038\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T11:45:15Z","timestamp":1625399115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01053038"],"URL":"https:\/\/doi.org\/10.1007\/bf01053038","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}