{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:14Z","timestamp":1725494654378},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671022"},{"type":"electronic","value":"9783540465621"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46562-6_20","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T00:12:56Z","timestamp":1194999176000},"page":"228-234","source":"Crossref","is-referenced-by-count":3,"title":["Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Dekhtyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander Ja.","family":"Dikovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mars K.","family":"Valiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,1,28]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Dekhtyar M.I., Dikovsky A.Ja. Dynamic deductive data bases with steady behavior. In \u201cProc. of the 12 Intern. Conf. on Logic Programming\u201d, Ed. L. Sterling, The MIT Press, 1995, 183\u2013197.","DOI":"10.7551\/mitpress\/4298.003.0026"},{"key":"20_CR2","unstructured":"Dekhtyar M.I., Dikovsky A.Ja. On homeostatic behavior of dynamic deductive data bases. In: D. Bjorner, M. Broy, I. Pottosin (eds.) Proc. 2nd Int. A. P. Ershov Memorial Conference \u201cPerspectives of Systems Informatics\u201d, Lect. Notes in Comput. Sci., vol. 1181, 1996, 420\u2013432."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Emerson E.A. Temporal and modal logic. In \u201cHandbook of Theor. Comput. Sci.\u201d, Ed. J. van Leeuwen, Elsewier Sci. Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Pinter S.S., Wolper P. A temporal logic for reasoning about partially ordered computations. Proc. 3rd ACM Symp. on Principles of Distributed Computing, 1984, 28\u201337.","DOI":"10.1145\/800222.806733"},{"key":"20_CR5","unstructured":"Valiev M.K. On axiomatization of logic of discrete branching time. In \u201cModal and Intensional Logics. Proc. VIII Confer. on Logic and Method. of Science\u201d, Palanga, 1982 (in Russian)."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Valiev M.K. Decision complexity of variants of propositional dynamic logic. Lect. Notes in Comput. Sci., vol. 88, 1980, 656\u2013664.","DOI":"10.1007\/BFb0022540"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46562-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T01:22:15Z","timestamp":1708305735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46562-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671022","9783540465621"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-46562-6_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}