{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:47:03Z","timestamp":1751982423095},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:11:15Z","timestamp":1330240275000},"page":"640-649","source":"Crossref","is-referenced-by-count":7,"title":["On saturated calculi for a linear temporal logic"],"prefix":"10.1007","author":[{"given":"Regimantas","family":"Pliu\u0161kevi\u010dius","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"55_CR1","series-title":"Lecture Notes in Computer Science 379","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/3-540-51486-4_61","volume-title":"Mathematical foundations of computer science 1989","author":"H. Andreka","year":"1989","unstructured":"H. Andreka, I. Nemeti, J.Sain: On the strength of temporal proofs. In: A. Kreczmar, G. Mirkowska (eds.): Mathematical foundations of computer science 1989. Lecture Notes in Computer Science 379. Berlin: Spriger 1989, pp. 135\u2013144."},{"key":"55_CR2","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1002\/malq.19870330506","volume":"33","author":"H. Kawai","year":"1987","unstructured":"H. Kawai: Sequential calculus for a first order infinitary temporal logic. Zeitshr. f\u00fcr Math. Logik und Grundlagen der Math. 33, 423\u2013432 (1987).","journal-title":"Zeitshr. f\u00fcr Math. Logik und Grundlagen der Math."},{"key":"55_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0304-3975(90)90161-A","volume":"73","author":"F. Kroger","year":"1990","unstructured":"F. Kroger: On the interpretability of arithmetic in temporal logic. Theoretical Computer Science 73, 47\u201360 (1990).","journal-title":"Theoretical Computer Science"},{"key":"55_CR4","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1080\/11663081.1992.10510779","volume":"2","author":"S. Merz","year":"1992","unstructured":"S. Merz: Decidability and incompleteness results for first-order temporal logic of linear time. Journal of Applied Non-classical Logics 2, 139\u2013156 (1992).","journal-title":"Journal of Applied Non-classical Logics"},{"key":"55_CR5","unstructured":"R. Pliu\u0161kevi\u010dius: Completeness criterion for the Horn-like first order linear temporal logic. Proceedings of conference on applied logic. Logic at Work, Amsterdam 1992."},{"key":"55_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(87)90129-0","volume":"54","author":"A. Szalas","year":"1987","unstructured":"A. Szalas: A complete axiomatic characterization of first-order temporal logic of linear time, Theoretical Computer Science 54, 199\u2013214 (1987).","journal-title":"Theoretical Computer Science"},{"key":"55_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/0304-3975(86)90157-X","volume":"47","author":"A. Szalas","year":"1986","unstructured":"A. Szalas: Concerning the semantic consequence relation in first-order temporal logic. Theoretical Computer Science 47, 329\u2013334 (1986).","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:59:33Z","timestamp":1619557173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}