{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T06:20:31Z","timestamp":1648707631961},"reference-count":22,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Algorithms and Applications"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1080\/10637199308915428","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T02:50:53Z","timestamp":1183776653000},"page":"11-27","source":"Crossref","is-referenced-by-count":0,"title":["A MODAL LOGIC FORMALISM FOR DISTRIBUTED AND PARALLEL KNOWLEDGE BASES"],"prefix":"10.1080","volume":"1","author":[{"given":"MARK","family":"LEVENE","sequence":"first","affiliation":[{"name":"a Department of Computer Science , University College London , Gower Street, London, WCIE 6BT, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GEORGE","family":"LOIZOU","sequence":"additional","affiliation":[{"name":"b Department of Computer Science , Birkbeck College , Malet Street, London, WCIE 7HX, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2007,3,2]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/103140.103141","volume":"16","author":"Abiteboul S.","year":"1991","journal-title":"ACM Transactions on Database Systems"},{"key":"CIT0002","first-page":"240","volume-title":"Proceedings of ACM Symposium on Principles of Database Systems","author":"Abiteboul S.","year":"1988"},{"key":"CIT0003","unstructured":"M. Boman , Axiomatic propositional epistemic logic systems as a framework for federated information systems , Research No. 91-008-DSV , Department of Computer and System Sciences, Stockholm University , 1991 ."},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/122058.122071","volume":"19","author":"DeWitt D. J.","year":"1990","journal-title":"ACM SIGMOD Record"},{"key":"CIT0005","first-page":"12","volume":"13","author":"Garcia-Molina H.","year":"1990","journal-title":"IEEE Data Engineering Quarterly"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79161"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/4229.4233","volume":"3","author":"Heimigner D.","year":"1985","journal-title":"ACM Trimsactions on Information Systems"},{"key":"CIT0009","volume-title":"An Introduction to Modal Logic","author":"Hughes G. E.","year":"1984"},{"key":"CIT0010","first-page":"p231\u2013239.","volume-title":"Proceedings of ACM Symposium on Principles of Database Systems","author":"Kolaitis P. G.","year":"1988"},{"key":"CIT0011","unstructured":"M. Levene and G. Loizou , Distributed logic, Research Note , Department of Computer Science, University College London , in preparation , 1992 ."},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-1-4612-5196-5_7","volume-title":"On Conceptual Modeling","author":"Levesque H. J.","year":"1984"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1111\/j.1467-8640.1988.tb00278.x","volume":"4","author":"McArthur G.","year":"1988","journal-title":"Computational Intelligence"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674704"},{"key":"CIT0016","volume-title":"A Logical Language for Data and Knowledge Bases","author":"Naqvi S.","year":"1989"},{"key":"CIT0017","volume-title":"Principles of Distributed Database Systems","author":"Ozsu M. T.","year":"1991"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0269888900004884","volume":"4","author":"Reichgelt H.","year":"1989","journal-title":"The Knowledge Engineering Review"},{"key":"CIT0019","first-page":"55","volume-title":"Logic and Databases","author":"Reiter R.","year":"1978"},{"key":"CIT0020","first-page":"97","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge","author":"Reiter R.","year":"1988"},{"key":"CIT0021","first-page":"4","volume":"9","author":"Stonebraker M.","year":"1986","journal-title":"IEEE Data Engineering Quarterly"},{"key":"CIT0022","volume-title":"Principles of Database and Knowledge-Base Systems","volume":"1","author":"Ullman J. D.","year":"1988"}],"container-title":["Parallel Algorithms and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10637199308915428","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T03:01:26Z","timestamp":1556593286000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10637199308915428"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":22,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2007,3,2]]},"published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/10637199308915428"],"URL":"https:\/\/doi.org\/10.1080\/10637199308915428","relation":{},"ISSN":["1063-7192"],"issn-type":[{"value":"1063-7192","type":"print"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}