{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T13:42:06Z","timestamp":1697982126023},"reference-count":17,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":7256,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1987,1]]},"DOI":"10.1002\/malq.19870330504","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T15:49:08Z","timestamp":1180194548000},"page":"407-416","source":"Crossref","is-referenced-by-count":0,"title":["Strong Semantical Characterization for Nondeterministic Programs"],"prefix":"10.1002","volume":"33","author":[{"given":"Laszlo","family":"Csirmaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Andreka H. andI.Nemeti Completeness of Floyd method with respect to nonstandard time models. Seminar notes Math. Inst. Hung. Acad. Sci.1977(in Hungarian)."},{"key":"e_1_2_1_3_2","first-page":"115","article-title":"Completeness of Floyd logic","volume":"7","author":"Andreka H.","year":"1978","journal-title":"Bull. of Section of Logic, Wroc\u0142aw"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90004-4"},{"key":"e_1_2_1_5_2","volume-title":"Model Theory","author":"Chang C. C.","year":"1973"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90076-1"},{"key":"e_1_2_1_7_2","first-page":"181","article-title":"On the completeness of proving partial correctness","volume":"5","author":"Csirmaz L.","year":"1981","journal-title":"Acta Cybernetica"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870760"},{"key":"e_1_2_1_9_2","unstructured":"Hajek P. Some conservativeness results for nonstandard dynamic logic. In: Proc. Conf. Algebra Combinatorics and Logic in Comp. Sci. Gy\u00f6r (Hungary)1983. pp.000\u2013000."},{"key":"e_1_2_1_10_2","unstructured":"Leivant D. Logical and mathematical reasoning about imperative programs. In: Proceedings of POPL'85 pp.000\u2013000."},{"key":"e_1_2_1_11_2","unstructured":"Makowski J. A. andI.Sain On the equivalence of weak second order and nonstandard time semantic. Preprint1985."},{"key":"e_1_2_1_12_2","series-title":"Lecture Notes in Comp. Sci. 131","first-page":"133","volume-title":"Logics of Programs","author":"Nemeti I.","year":"1982"},{"key":"e_1_2_1_13_2","volume-title":"Nonstandard logics of programs\u2014survey and perspective","author":"Pasztor A.","year":"1985"},{"key":"e_1_2_1_14_2","unstructured":"Richter M. M. andM. E.Szabo Nonstandard computation theory. In: Proc. Conf. Algebra Combinatorics and Logic in Comp. Sci. Gy\u00f6r (Hungary)1983 pp.667\u2013693."},{"key":"e_1_2_1_15_2","first-page":"481","article-title":"Structured nonstandard dynamic logic","volume":"30","author":"Sain I.","year":"1984","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90024-6"},{"key":"e_1_2_1_17_2","unstructured":"Sain I. Relative program verifying powers of different temporal logics. Preprint1985."},{"key":"e_1_2_1_18_2","unstructured":"Sain I. Elementary proof for some characterization of nondeterministic Floyd\u2010Hoare logic. Preprint1985."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19870330504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19870330504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T15:54:41Z","timestamp":1697903681000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19870330504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,1]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1987,1]]}},"alternative-id":["10.1002\/malq.19870330504"],"URL":"https:\/\/doi.org\/10.1002\/malq.19870330504","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,1]]}}}