{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:47:46Z","timestamp":1725490066812},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_2","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:16:50Z","timestamp":1187248610000},"page":"15-34","source":"Crossref","is-referenced-by-count":1,"title":["Emptiness Relations in Property Systems"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Vakarelov, D.: First-order characterization and modal analysis of indiscernibility and complementarity in information systems. In Benferhat, S., Besnard, P. (Editors): Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer-Verlag, Lecture Notes in Artificial Intelligence 2143 (2001) 772\u2013781.","DOI":"10.1007\/3-540-44652-4_68"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-2000-423401","volume":"42","author":"S. Demri","year":"2000","unstructured":"Demri, S.: The nondeterministic information logic NIL is PSPACE-complete. Fundamenta Informatic\u00e642 (2000) 211\u2013234.","journal-title":"Fundamenta Informatic\u00e6"},{"key":"2_CR3","unstructured":"Demri, S., Or\u0142owska, E., Vakarelov, D.: Indiscernibility and complementarity relations in information systems. In Gerbrandy, J., Marx, M., de Rijke, M., Venema, Y. (Editors): JFAK: Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press (1999) http:\/\/turing.wins.uva.nl\/~j50\/cdrom\/contribs\/demri\/index.html ."},{"key":"2_CR4","unstructured":"Hughes, G., Cresswell, M.: A Companion to Modal Logic. Methuen (1984)."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R. Ladner","year":"1977","unstructured":"Ladner, R.: The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6 (1977) 467\u2013480.","journal-title":"SIAM Journal on Computing"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370813","volume":"44","author":"E. Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic of nondeterministic information. Studia Logica 44 (1985) 91\u2013100.","journal-title":"Studia Logica"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF00935602","volume":"49","author":"E. Or\u0142owska","year":"1990","unstructured":"Or\u0142owska, E.: Kripke semantics for knowledge representation logics. Studia Logica 49 (1990) 255\u2013272.","journal-title":"Studia Logica"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E. (Editor): Incomplete Information: Rough Set Analysis. Physica-Verlag, Studies in Fuzziness and Soft Computing 13 (1998).","DOI":"10.1007\/978-3-7908-1888-8"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E., Pawlak, Z.: Representation of nondeterministic information. Theoretical Computer Science 29 (1984) 27\u201339.","journal-title":"Theoretical Computer Science"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z.: Information systems \u2014 theoretical foundations. Information Systems 6 (1981) 205\u2013218.","journal-title":"Information Systems"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"W. Savitch","year":"1970","unstructured":"Savitch, W.: Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences 4 (1970) 177\u2013192.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-015-8242-1_10","volume-title":"Diamonds and Defaults: Studies in Pure and Applied Intensional Logic","author":"E. Spaan","year":"1993","unstructured":"Spaan, E.: The complexity of propositional tense logics. In de Rijke, M. (Editor): Diamonds and Defaults: Studies in Pure and Applied Intensional Logic. Kluwer, Synthese Library 229 (1993) 287\u2013307."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/FI-1991-15105","volume":"15","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov, D.: A modal logic for similarity relations in Pawlak knowledge representation systems. Fundamenta Informatic\u00e615 (1991) 61\u201379.","journal-title":"Fundamenta Informatic\u00e6"},{"key":"2_CR14","first-page":"433","volume":"90","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov, D.: Modal logics for knowledge representation systems. Theoretical Computer Science 90 (1991) 433\u2013456.","journal-title":"Theoretical Computer Science"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF01053038","volume":"55","author":"D. Vakarelov","year":"1995","unstructured":"Vakarelov, D.: A duality between Pawlak\u2019s knowledge representation systems and BI-consequence systems. Studia Logica 55 (1995) 205\u2013228.","journal-title":"Studia Logica"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Vakarelov, D.: Information systems, similarity relations and modal logics. In Or\u0142owska, E. (Editor): Incomplete Information: Rough Set Analysis. Physica-Verlag, Studies in Fuzziness and Soft Computing 13 (1998) 492\u2013550.","DOI":"10.1007\/978-3-7908-1888-8_16"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T21:44:41Z","timestamp":1629582281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}