{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:46:22Z","timestamp":1751982382616},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022577","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"289-300","source":"Crossref","is-referenced-by-count":7,"title":["On the saturation principle for a linear temporal logic"],"prefix":"10.1007","author":[{"given":"Regimantas","family":"Pliuskevicius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_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":"31_CR2","unstructured":"D.M. Gabbay: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University press (in print)."},{"key":"31_CR3","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":"31_CR4","series-title":"Lecture Notes in Computer Science 620","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/BFb0023891","volume-title":"Logical Foundations of Computer Science \u2014 Tver'92","author":"R. Pliu\u0161kevi\u010dius","year":"1992","unstructured":"R. Pliu\u0161kevi\u010dius: Complete sequential calculi for the first order symmetrical linear temporal logic with UNTIL and SINCE. In A. Nerode, M. Taitslin (eds.): Logical Foundations of Computer Science \u2014 Tver'92. Lecture Notes in Computer Science 620. Berlin: Springer 1992, p.p. 382\u2013393."},{"key":"31_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":"31_CR6","unstructured":"R. Pliu\u0161kevi\u010dius: On Saturated Calculi for a Linear Temporal Logic, Proceedings. of MFCS-93, Gdansk (in print)."},{"key":"31_CR7","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":"31_CR8","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(88)90045-X","volume":"57","author":"A. Szalas","year":"1988","unstructured":"A. Szalas, L. Holenderski: Incompleteness of first-order logic with UNTIL. Theoretical Computer Science 57, 317\u2013325 (1988).","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022577.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:49:09Z","timestamp":1607550549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022577"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0022577","relation":{},"subject":[]}}