{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:04:10Z","timestamp":1784675050416,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540656913","type":"print"},{"value":"9783540491163","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49116-3_49","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:56:14Z","timestamp":1187254574000},"page":"521-530","source":"Crossref","is-referenced-by-count":2,"title":["Completeness of Neighbourhood Logic"],"prefix":"10.1007","author":[{"given":"Rana","family":"Barua","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suman","family":"Roy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhou","family":"Chaochen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"key":"49_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur R., Courcoubetis C., Henzinger T., Ho P-H.: Hybrid Automata: An algorithmic approach to the specification and verification of Hybrid systems, in Hybrid Systems, R.L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (Eds.), LNCS 736, pp. 209\u2013229, Springer-Verlag, 1993."},{"key":"49_CR2","unstructured":"Barua Rana, Zhou Chaochen: Neighbourhood Logics: NL and NL2, UNU\/IIST Report no. 120, 1997."},{"key":"49_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry G\u00e9rard, Gonthier Georges: The Esterel Synchronous Programming Language: Design, Semantics and Implementation, in Science of Computer Programming, vol. 19, pp. 87\u2013152, Elsevier, 1992.","journal-title":"Science of Computer Programming"},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Dutertre B.: Complete Proof Systems for First Order Interval Logic, Tenth Annual IEEE Symp. on Logic in Computer Science, pp. 36\u201343, IEEE Press, 1995.","DOI":"10.1109\/LICS.1995.523242"},{"issue":"4","key":"49_CR5","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Halpern","year":"1991","unstructured":"Halpern J., Shoham Y.: A Propositional Modal Logic of Time Intervals, Journal of the ACM 38(4) pp. 935\u2013962, 1991. Also appeared in Proceedings of the First IEEE Symposium on Logic in Computer Science, pp. 279\u2013292, Computer Society Press, 1986.","journal-title":"Journal of the ACM"},{"key":"49_CR6","unstructured":"Hansen Michael, Zhou Chaochen: Duration Calculus: Logical Foundations, To appear in Formal Aspects of Computing."},{"key":"49_CR7","doi-asserted-by":"crossref","unstructured":"Humberstone: Interval semantics for Tense Logic, Jour of Phil. Logic, 8, 1979.","DOI":"10.1007\/BF00258426"},{"key":"49_CR8","unstructured":"Hughes G. E., Creswell M.J.: An introduction to Modal Logic, Routledge, 1990."},{"key":"49_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-57318-6_25","volume-title":"Hybrid systems in TLA+","author":"L. Lamport","year":"1993","unstructured":"Lamport L.: Hybrid systems in TLA +, in in Hybrid Systems, R.L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (Eds.), LNCS 736, pp. 77\u2013102, Springer-Verlag, 1993."},{"key":"49_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume-title":"Hybrid Systems","author":"Z. Manna","year":"1993","unstructured":"Manna Z., Pnueli A.: Verifying hybrid systems, in Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (Eds.), LNCS 736, pp. 4\u201335, Springer-Verlag 1993."},{"issue":"2","key":"49_CR11","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski B.: A Temporal Logic for Multilevel Reasoning about Hardware, IEEE Computer 18(2) pp. 10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"49_CR12","unstructured":"Pujari Arun K: Neighbourhood Logic & Interval Algebra. UNU\/IIST Report no. 116, 1997."},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Qiu Zongyan, Zhou Chaochen: A Combination of Interval Logic and Linear Temporal Logic. UNU\/IIST Report no. 123, 1997 (accepted by PROCOMET\u201998).","DOI":"10.1007\/978-0-387-35358-6_28"},{"key":"49_CR14","unstructured":"Roy Suman, Zhou Chaochen: Notes in Neighbourhood Logic, UNU\/IIST Report no. 97, 1997."},{"key":"49_CR15","volume-title":"Mathematical Logic","author":"J. Shoenfield","year":"1967","unstructured":"Shoenfield J., Mathematical Logic, Addison-Wesley, Reading, Mass., 1967."},{"issue":"4","key":"49_CR16","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Venema Y.: Expressiveness and Completeness of an Interval Tense Logic, Notre Dame Journal of Formal Logic, Vol. 31, No. 4, pp. 529\u2013547, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"49_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y. Venema","year":"1991","unstructured":"Venema Y.: A Modal Logic for Chopping Intervals, Journal of Logic and Computation, Vol. 1, pp. 453\u2013476, Oxford University Press, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"49_CR18","unstructured":"Zhou Chaochen, Hansen Michael R.: An Adequate First Order Interval Logic. UNU\/IIST Report No. 91, Revised report, December 1996."},{"issue":"5","key":"49_CR19","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. Zhou","year":"1991","unstructured":"Zhou Chaochen, Hoare C. A. R., Ravn A. P.: A Calculus of Durations, Information Processing Letters, Vol. 40, No. 5, pp. 269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"49_CR20","series-title":"Lect Notes Comput Sci","first-page":"36","volume-title":"Hybrid Systems","author":"C. Zhou","year":"1993","unstructured":"Zhou Chaochen, Ravn A. P., Hansen Michael R.: An extended duration calculus for hybrid systems, in Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (Eds.), LNCS 736, pp. 36\u201359, Springer-Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","STACS 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49116-3_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:43:14Z","timestamp":1556757794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49116-3_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656913","9783540491163"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-49116-3_49","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}