{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:42Z","timestamp":1725663582565},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534143"},{"type":"electronic","value":"9783540468691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53414-8_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:02:43Z","timestamp":1330189363000},"page":"80-92","source":"Crossref","is-referenced-by-count":0,"title":["Past proves more invariance properties but not pca's"],"prefix":"10.1007","author":[{"given":"Ildik\u00f3","family":"Sain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"64","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, The power of temporal proofs, Theoretical Computer Science Vol 64 (1989), 35\u201384.","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","unstructured":"M.Abadi, corrections to \u201cThe power of temporal proofs\u201d, Theoretical Computer Science (to appear)."},{"key":"5_CR3","first-page":"123","volume-title":"The power of temporal proofs","author":"M. Abadi","year":"1987","unstructured":"M. Abadi, The power of temporal proofs, Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science, Ithaca, NY, USA; (1987), 123\u2013130."},{"key":"5_CR4","unstructured":"M.Abadi and Z.Manna, A timely resolution, First Annual Symposium on Logic in Computer Science (1986), 176\u2013189."},{"key":"5_CR5","unstructured":"H.Andr\u00e9ka, V. Goranko, I.N\u00e9meti, and I.Sain, Effective first order temporal logics, In preparation."},{"key":"5_CR6","first-page":"18","volume":"2","author":"H. Andr\u00e9ka","year":"1979","unstructured":"H. Andr\u00e9ka, I. N\u00e9meti and I. Sain, Henkin-type semantics for program schemes to turn negative results to positive, In: Fundamentals of Computation Theory'79, ed.: L.Budach (Proc. Conf. Berlin 1979) Akademie Verlag, Berlin Band 2 (1979), 18\u201324.","journal-title":"Akademie Verlag, Berlin Band"},{"issue":"23","key":"5_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0304-3975(82)90004-4","volume":"17","author":"H. Andr\u00e9ka","year":"1982","unstructured":"H. Andr\u00e9ka, I. N\u00e9meti and I. Sain, A complete logic for reasoning about programs via nonstandard model theory, Parts I\u2013II, Theoretical Computer Science Vol 17 Nos 2, 3 (1982), 193\u2013212 and 259\u2013278.","journal-title":"Theoretical Computer Science"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/3-540-51486-4_61","volume":"379","author":"H. Andr\u00e9ka","year":"1989","unstructured":"H. Andr\u00e9ka, I. N\u00e9meti, and I. Sain, On the strength of temporal proofs (extended abstract), In: Mathematical Foundations of Computer Science 1989 (eds: A.Kreczmar and G.Mirkowska), Springer Lecture Notes in Comp. Sci. Vol 379 (1989), 135\u2013144.","journal-title":"Springer Lecture Notes in Comp. Sci."},{"key":"5_CR9","unstructured":"H.Andr\u00e9ka, I.N\u00e9meti, and I.Sain, On the strength of temporal proofs, Theoretical Computer Science (an extended abstract of this is [8]) (to appear)."},{"key":"5_CR10","unstructured":"J.Barwise (ed.), Handbook of Mathematical Logic, North-Holland (1977)."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"D.Gabbay and F.Guenthner (eds), Handbook of philosophical logic, D.Reidel Publ. Co. Vol II (1984).","DOI":"10.1007\/978-94-009-6259-0"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"D.Gabbay, A.Pnueli, S.Shelah and J.Stavi, On the temporal analysis of fairness, Preprint Weizman Institute of Science, Dept. of Applied Math. (1981).","DOI":"10.1145\/567446.567462"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"J.Garson, Quantification in modal logic, in: D.Gabbay and F.Guenthner (eds.), Handbook of philosophical logic, D.Reidel Publ. Co. (1984).","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"5_CR14","unstructured":"R.Goldblatt, Logics of time and computation, Center for the Study of Language and Information, Lecture Notes Number 7 (1987)."},{"key":"5_CR15","unstructured":"V.Goranko, Letter to I.N\u00e9meti, July 9, 1990."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"F.Kr\u00f6ger, Temporal logic of programs, EATCS Monographs on Theoretical Computer Science (1988).","DOI":"10.1007\/978-3-642-71549-5"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume":"193","author":"O. Lichtenstein","year":"1985","unstructured":"O. Lichtenstein, A. Pnueli, and L. Zuck, The glory of the past, Proc. Coll. Logics of Programs, Brooklyn, USA, Springer Lecture Notes in Comp. Sci. (ed.: R.Parikh) Vol 193 (1985), 196\u2013218.","journal-title":"Springer Lecture Notes in Comp. Sci."},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-09510-1_31","volume":"71","author":"Z. Manna","year":"1979","unstructured":"Z. Manna and A. Pnueli, The modal logic of programs, International Colloquium on Automata, Languages and Programming'79, Graz, Springer Lecture Notes in Computer Science Vol 71 (1979), 385\u2013409.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0025789","volume":"131","author":"I. N\u00e9meti","year":"1982","unstructured":"I. N\u00e9meti, Nonstandard Dynamic Logic, In: Logics of Programs, Proc. Conf. New York 1981 (ed.: D.Kozen), Springer Lecture Notes in Computer Science Vol 131 (1982), 311\u2013348.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR20","first-page":"845","volume":"86","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli, Specification and development of reactive systems, Information Processing (IFIP'86), H.-J. Kugler (ed.) North-Holland Vol 86 (1986), 845\u2013858.","journal-title":"North-Holland"},{"key":"5_CR21","first-page":"195","volume":"XIII","author":"I. Sain","year":"1979","unstructured":"I. Sain, There are general rules for specifying semantics: Observations on Abstract Model Theory, CL&CL (Computational Linguistics and Computer Languages) Vol XIII (1979), 195\u2013250.","journal-title":"CL&CL"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/3-540-15648-8_24","volume":"193","author":"I. Sain","year":"1985","unstructured":"I. Sain, The reasoning powers of Burstall's (modal logic) and Pnueli's (temporal logic) program verification methods, In: Logics of Programs, Proc. Conf. Brooklyn USA 1985 (Ed.: R.Parikh), Springer Lecture Notes in Computer Science Vol 193 (1985), 302\u2013319.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"5_CR23","unstructured":"I.Sain, Nonstandard Logics of Programs, Dissertation, Hungarian Academy of Sciences, Budapest (in Hungarian) (1986)."},{"key":"5_CR24","unstructured":"I.Sain, Comparing and characterizing the power of established program verification methods, In: Many Sorted Logic and its Applications (Ed.: J.Tucker), Proc. Conf. Leeds, Great Britain 1988 (to appear)."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"I.Sain, Temporal logics need their clocks, Theoretical Computer Science (to appear).","DOI":"10.1016\/0304-3975(92)90067-P"},{"key":"5_CR26","unstructured":"I.Sain, Results on the glory of the past, Proc. Mathematical Foundations of Computer Science'90, Springer Lecture Notes in Computer Science (to appear)."}],"container-title":["Lecture Notes in Computer Science","Aspects and Prospects of Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53414-8_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:26:56Z","timestamp":1605630416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53414-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534143","9783540468691"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-53414-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}