{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:44:20Z","timestamp":1725489860138},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746201"},{"type":"electronic","value":"9783540746218"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74621-8_4","type":"book-chapter","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T11:46:32Z","timestamp":1187783192000},"page":"72-72","source":"Crossref","is-referenced-by-count":0,"title":["Temporalising Logics: Fifteen Years After"],"prefix":"10.1007","author":[{"given":"Michael","family":"Zakharyaschev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1574-6526(05)80014-8","volume-title":"Handbook of Temporal Reasoning in Artificial Intelligence","author":"A. Artale","year":"2005","unstructured":"Artale, A., Franconi, E.: Temporal description logics. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence, pp. 375\u2013388. Elsevier, Amsterdam (2005)"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language, and Information\u00a01(3), 203\u2013233 (1992)","journal-title":"Journal of Logic, Language, and Information"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D. Gabbay","year":"1994","unstructured":"Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects, vol.\u00a01. Oxford University Press, Oxford (1994)"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1613\/jair.1537","volume":"23","author":"D. Gabelaia","year":"2005","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research (JAIR)\u00a023, 167\u2013243 (2005)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74621-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:43Z","timestamp":1619519443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74621-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746201","9783540746218"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74621-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}