{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:05:02Z","timestamp":1725494702108},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_22","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:26:02Z","timestamp":1194956762000},"page":"264-275","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Probabilistic Neighbourhood Logic"],"prefix":"10.1007","author":[{"given":"Dimitar P.","family":"Guelev","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Barua, R. S. Roy and Zhou Chaochen. Completeness of Neighbourhood Logic. Proceedings of STACS\u201999, Trier, Germany, LNCD 1563, Springer Verlag, 1999.","DOI":"10.1007\/3-540-49116-3_49"},{"key":"22_CR2","unstructured":"Chang, C. C. and H. J. Keisler. Model Theory. North Holland, Amsterdam, 1973."},{"key":"22_CR3","unstructured":"Dutertre, B. On First Order Interval Temporal Logic Report no. CSD-TR-94-3 Department of Computer Science, Royal Holloway, University of London, Egham, Surrey TW20 0EX, England, 1995."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s001650050034","volume":"11","author":"D. Hung Van","year":"1999","unstructured":"Dang Van Hung and Zhou Chaochen. Probabilistic Duration Calculus for Continuous Time. Formal Aspects of Computing, 11, pp. 21\u201344, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"22_CR5","unstructured":"Guelev, D. P. A Calculus of Durations on Abstract Domains: Completeness and Extensions. Technical Report 139, UNU\/IIST, P.O.Box 3058, Macau, May 1998."},{"key":"22_CR6","unstructured":"Guelev, D. P. Probabilistic Interval Temporal Logic, Technical Report 144, UNU\/IIST, P.O.Box 3058, Macau, August 1998, Draft."},{"key":"22_CR7","unstructured":"Guelev, D. P. Probabilistic and Temporal Modal Logics, Ph.D. thesis, submitted."},{"key":"22_CR8","unstructured":"Guelev, D. P. Interval-related Interpolation in Interval Temporal Logics, submitted, 1999."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Guelev, D. P. Probabilistic Neighbourhood Logic. Technical Report 196, UNU\/IIST, P.O.Box 3058, Macau, April 2000.","DOI":"10.1007\/3-540-45352-0_22"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Liu Zhiming, A. P. Ravn, E. V. S\u00d8rensen and Zhou Chaochen. A Probabilistic Duration Calculus. In: Proceedings of the Second International Workshop on Responsive Computer Systems. KDD Research and Development Laboratories, Saitama, Japan, 1992.","DOI":"10.1007\/978-3-7091-9288-7_3"},{"key":"22_CR11","unstructured":"Mathai, J. Real-Time Systems. Prentice Hall, 1995."},{"issue":"2","key":"22_CR12","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B. Temporal Logic For Multilevel Reasoning About Hardware. IEEE Computer, 18(2):10\u201319, February 1985.","journal-title":"IEEE Computer"},{"key":"22_CR13","unstructured":"Trifonov, V. T. A completeness theorem for the probabilistic interval temporal logic with respect to its standard semantics, M.Sc. thesis, Sofia University, July 1999. (In Bulgarian)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, and M. R. Hansen. An Adequate First Order Interval Logic. International Symposium, Compositionality-The Significant Difference, H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer, 1998.","DOI":"10.1007\/3-540-49213-5_23"},{"issue":"5","key":"22_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C. A. R. Hoare and A. P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5), pp. 269\u2013276, 1991.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:47:18Z","timestamp":1558262838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}