{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:28:32Z","timestamp":1764782912478},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019366","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"504-528","source":"Crossref","is-referenced-by-count":13,"title":["Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus"],"prefix":"10.1007","author":[{"given":"Regimantas","family":"Pliu\u0161kevi\u010dius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"M. Abadi, The power of temporal proofs, Proceedings of the second Annual IEEE Symposium on Logic in Computer Science, (1987), 123\u2013130."},{"key":"14_CR2","unstructured":"H. Andreka, I. Nemeti, I. Sain, On the strenghth of temporal proofs, Preprint of Math.Institute of the Hungarian Academy of Science, Budapest, (1989), 1\u201322."},{"issue":"2","key":"14_CR3","doi-asserted-by":"crossref","first-page":"579","DOI":"10.2307\/2272747","volume":"37","author":"D. Gabbay","year":"1972","unstructured":"D. Gabbay, Decidability of some intuitionistic predicate theories, Journal of Symbolic Logic, Vol.37, No.2, (1972), 579\u2013587.","journal-title":"Journal of Symbolic Logic"},{"key":"14_CR4","unstructured":"S. Kanger, Provability in logic, Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, Vol.1, (1957)."},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1002\/malq.19870330506","volume":"74","author":"H. Kawai","year":"1987","unstructured":"H. Kawai, Sequential calculus for a first order infinitary temporal logic, Zeitschr. fur Math. Logic und Grundlagen der Math., Vol.74, (1987), 423\u2013432.","journal-title":"Zeitschr. fur Math. Logic und Grundlagen der Math."},{"key":"14_CR6","unstructured":"L.L.Maksimova, Interpolation, Beth's property and temporal logic \u201ctomorrow\u201d, (in Russian), Preprint No.90 of Math. Institute of Sibirian Division of the USSR Academy of Sciences, Novosibirsk, (1989), 3\u201325."},{"key":"14_CR7","first-page":"76","volume":"5","author":"R. Pliu\u0161kevi\u010dius","year":"1987","unstructured":"R. Pliu\u0161kevi\u010dius, Structural analytical indexal deduction for Kamp's tense logic (in Russian), Mathematical Logic and its applications, Issue 5, Vilnius, (1987), 76\u201384.","journal-title":"Mathematical Logic and its applications"},{"key":"14_CR8","first-page":"85","volume":"5","author":"R. Pliu\u0161kevi\u010dius","year":"1987","unstructured":"R. Pliu\u0161kevi\u010dius, Structural elimination theorem for functional modal logic S5, (in Russian), Mathematical Logic and its applications, Issue 5, Vilnius, (1987), 85\u201391.","journal-title":"Mathematical Logic and its applications"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"R. Pliu\u0161kevi\u010dius, Investigation of finitary calculi for temporal logics by means of infinitary calculi, Proc. Conf. MFCS'90.","DOI":"10.1007\/BFb0029643"},{"issue":"7","key":"14_CR10","first-page":"405","volume":"7","author":"J.R. Shoenfield","year":"1959","unstructured":"J.R. Shoenfield, On a restricted \u03c9-rule, Bulletin de L'Academie Polonaise Des Sciences, Vol.7, No.7, (1959), 405\u2013407.","journal-title":"Bulletin de L'Academie Polonaise Des Sciences"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0003-4843(78)90011-6","volume":"15","author":"R. Statman","year":"1978","unstructured":"R. Statman, Bounds for proof-search and speed-up in the predicate calculus, Ann. Math. Logic, Vol.15, (1978), 225\u2013287.","journal-title":"Ann. Math. Logic"},{"key":"14_CR12","doi-asserted-by":"publisher","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, Vol.47, (1986), 329\u2013334.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0019366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T03:07:29Z","timestamp":1572923249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0019366","relation":{},"subject":[]}}