{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:32Z","timestamp":1725663212179},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540119814"},{"type":"electronic","value":"9783540394457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-11981-7_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:49:10Z","timestamp":1330192150000},"page":"1-26","source":"Crossref","is-referenced-by-count":6,"title":["Sharpening the characterization of the power of Floyd method"],"prefix":"10.1007","author":[{"given":"H.","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"1_CR1","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I., Completeness of Floyd's program verification method w.r.t. nonstandard time models, Seminar Notes Math. Inst. Hungar. Acad. Sci.-SZKI 1977 (in Hungarian). This was abstracted in [2]."},{"issue":"3","key":"1_CR2","first-page":"115","volume":"7","author":"H. Andr\u00e9ka","year":"1978","unstructured":"Andr\u00e9ka, H. N\u00e9meti I., Completeness of Floyd Logic, Bull. Section of Logic Wroclaw (1978), Vol 7, No 3, pp.115\u2013121.","journal-title":"Section of Logic Wroclaw"},{"issue":"2","key":"1_CR3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0304-3975(82)90004-4","volume":"17","author":"H. Andr\u00e9ka","year":"1982","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I. Sain, I., A complete logic for reasoning about programs via nonstandard model theory, Theoret. Comput. Sci., Vol 17(1982) Part I in No 2, pp.193\u2013212, Part II in No 3.","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR4","volume-title":"A complete first order dynamic logic","author":"H. Andr\u00e9ka","year":"1980","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I. Sain, I., A complete first order dynamic logic, Preprint, Math.Inst.H.A.S., Budapest, 1980. No.810930.120p."},{"key":"1_CR5","first-page":"18","volume-title":"Henkin-type semantics for program schemes to turn negative results to positive, Fundamentals of Computation Theory'79","author":"H. Andr\u00e9ka","year":"1979","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I. Sain, I., Henkin-type semantics for program schemes to turn negative results to positive, Fundamentals of Computation Theory'79 (Proc.Conf.Berlin 1979), Ed. L. Budach, Akademie Verlag, Berlin, 1979. Band 2. pp.18\u201324."},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-10856-4_82","volume-title":"Mathematical Foundations of Computer Science '81 (Strbsk\u00e9 Pleso, Czechoslovakia, 1981)","author":"H. Andr\u00e9ka","year":"1981","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I. Sain, I., A characterization of Floyd-provable programs, In: Mathematical Foundations of Computer Science '81 (Strbsk\u00e9 Pleso, Czechoslovakia, 1981), Lecture Notes in Computer Science 118, Springer, Berlin, 1981. pp.162\u2013171."},{"key":"1_CR7","unstructured":"Burstall, R.M., Program proving as hand simulation with a little induction. IFIP Congress, Stockholm, August 3\u201310, 1974."},{"key":"1_CR8","unstructured":"Chang, C.C., Keisler, H.J., Model theory, North-Holland, 1973."},{"key":"1_CR9","first-page":"21","volume":"14","author":"L. Csirmaz","year":"1980","unstructured":"Csirmaz, L., A survey of semantics of Floyd-Hoare derivability, CL&CL \u2014 Comput.Linguist, Comput.Lang, 14(1980), pp.21\u201342.","journal-title":"Comput.Lang"},{"key":"1_CR10","unstructured":"Csirmaz,L., On the completeness of proving partial correctness, Acta Cybernet., Tom 5, Fasc 2, Szeged, 1981. pp.181\u2013190."},{"key":"1_CR11","unstructured":"Csirmaz, L. Paris, J.B., A property of 2-sorted Peano models and program verification, Preprint, Budapest, 1981."},{"key":"1_CR12","volume-title":"On the temporal analysis of fairness","author":"D. Gabbay","year":"1981","unstructured":"Gabbay, D. Pnueli, A. Shelah, S. Stavi, J., On the temporal analysis of fairness, Preprint, Weizmann Inst. of Sci., Dept. of Applied Math., Israel, May 1981."},{"key":"1_CR13","unstructured":"Gergely, T. Ury, L., Time models for programming logics, In: Mathematical Logic in Computer Science (Proc.Coll. Salg\u00f3tartj\u00e1n 1978), Colloq.Math.Soc.J.Bolyai Vol 26, North-Holland 1981, pp.359\u2013427."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science '81 (Strbsk\u00e9 Pleso, Czechoslovakia, 1981)","author":"P. H\u00e1jek","year":"1981","unstructured":"H\u00e1jek, P., Making dynamic logic first-order, In: Mathematical Foundations of Computer Science '81 (Strbsk\u00e9 Pleso, Czechoslovakia, 1981) Lecture Notes in Computer Science 118, Springer, Berlin, 1981."},{"key":"1_CR15","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0095612","volume-title":"Cylindric Set Algebras","author":"L. Henkin","year":"1981","unstructured":"Henkin, L. Monk, J.D. Tarski, A. Andr\u00e9ka, H. N\u00e9meti I., Cylindric Set Algebras, Lecture Notes in Mathematics 883, Springer-Verlag, Berlin, 1981. V+323p."},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0019-9958(75)90415-5","volume":"29","author":"D. J. Kfoury","year":"1975","unstructured":"Kfoury, D.J. Park, D.M.R., On the termination of program schemes, Information and Control 29(1975), pp.243\u2013251.","journal-title":"Information and Control"},{"key":"1_CR17","volume-title":"Is \"Sometime\" sometimes better than \"Always\"? Intermittent assertions in proving program correctness","author":"Z. Manna","year":"1976","unstructured":"Manna, Z. Waldinger, R., Is \"Sometime\" sometimes better than \"Always\"? Intermittent assertions in proving program correctness, Prerint, Stanford Research Inst., Menlo Park, June 1976, No. Z173."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-11160-3_3","volume-title":"Logics of Programs","author":"G. Mirkowska","year":"1981","unstructured":"Mirkowska, G., PAL \u2014 Propositional Algorithmic Logic, In: Logics of Programs, Lecture Notes in Computer Science 125, Springer-Verlag, Berlin, 1981. pp.23\u2013101."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Monk,J.D., Mathematical Logic, Springer Verlag, 1976.","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"1_CR20","unstructured":"N\u00e9meti,I., Nonstandard runs of Floyd-provable programs, this volume."},{"key":"1_CR21","unstructured":"N\u00e9meti, I., Hilbert style axiomatization of nonstandard dynamic logic, Preprint, Budapest, 1980."},{"key":"1_CR22","volume-title":"Results on the lattice of dynamic logics","author":"I. N\u00e9meti","year":"1981","unstructured":"N\u00e9meti, I., Results on the lattice of dynamic logics, Preprint, Math. Inst. H.A.S., Budapest, 1981."},{"key":"1_CR23","unstructured":"N\u00e9meti,I., Nonstandard dynamic logic, In: Proc. Workshop on Logics of Programs (May 1981, New York) Ed.: D.Kozen, Lecture Notes in Computer Science, Springer-Verlag, to appear."},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/3-540-10854-8_31","volume-title":"Fundamentals of Computation Theory'81 Proc.(Szeged 1981)","author":"I. N\u00e9meti","year":"1981","unstructured":"N\u00e9meti, I., Dynamic algebras of programs, In: Fundamentals of Computation Theory'81 Proc.(Szeged 1981) Lecture Notes in Computer Science 117, Springer-Verlag, Berlin, 1981. pp.281\u2013290."},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-11160-3_4","volume-title":"Logics of Programs","author":"R. Parikh","year":"1981","unstructured":"Parikh, R., Propositional dynamic logics of programs: A survey, In: Logics of Programs, Lecture Notes in Computer Science 125, Springer-Verlag, Berlin, 1981. pp.102\u2013141."},{"key":"1_CR26","unstructured":"Richter,M.M. Szabo,M.E., Towards a nonstandard analysis of programs, In: Proc. of the Second Victoria Symp. on nonstandard analysis, Victoria, Britisch Columbia, June 1980. Ed. A.Hurd, Lecture Notes in Math., Springer Verlag, 1981."},{"key":"1_CR27","first-page":"251","volume":"13","author":"I. Sain","year":"1979","unstructured":"Sain, I., There are general rules for specifying semantics: Observations on Abstract Model Theory, CL&CL \u2014 Comput.Linguist. Comput.Lang., 13(1979), pp.251\u2013282.","journal-title":"Comput.Lang."},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/3-540-10854-8_37","volume-title":"Fundamentals of Computation Theory '81 (Szeged, Hungary 1981)","author":"I. Sain","year":"1981","unstructured":"Sain, I., First order dynamic logic with decidable proofs and workeable model theory, In: Fundamentals of Computation Theory '81 (Szeged, Hungary 1981), Lecture Notes in Computer Science 117, Springer, Berlin, 1981. pp.334\u2013340."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Stavi,J., Compactness properties of infinitary and abstract languages, In: Logic Colloquiu'77, Ed.s A.Macintyre, L.Pacholski, J.Paris,. North-Holland 1978, pp.263\u2013275.","DOI":"10.1016\/S0049-237X(08)72009-3"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs and Their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11981-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:29Z","timestamp":1605643529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11981-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540119814","9783540394457"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-11981-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}