{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:35Z","timestamp":1725494195126},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768364"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76837-1_65","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T05:25:50Z","timestamp":1194326750000},"page":"600-607","source":"Crossref","is-referenced-by-count":0,"title":["Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization"],"prefix":"10.1007","author":[{"given":"Zhiguo","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Yunfei","family":"Jiang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"65_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/3-540-45744-5_51","volume-title":"Automated Reasoning","author":"B. Beckert","year":"2001","unstructured":"Beckert, B., Schlager, S.: A sequent calculus for first-order dynamic logic with trace modalities. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 626\u2013641. Springer, Heidelberg (2001)"},{"key":"65_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.3166\/jancl.11.269-280","volume":"11","author":"P. Balbiani","year":"2001","unstructured":"Balbiani, P.: A new proof of completeness for a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics\u00a011, 269\u2013280 (2001)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"65_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-16066-3_5","volume-title":"Computation Theory","author":"R. Danecki","year":"1985","unstructured":"Danecki, R.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) Computation Theory. LNCS, vol.\u00a0208, pp. 34\u201353. Springer, Heidelberg (1985)"},{"key":"65_CR4","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. Fischer","year":"1979","unstructured":"Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018, 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"65_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy\u00a014(1), 31\u2013100 (1991)","journal-title":"Linguistics and Philosophy"},{"key":"65_CR6","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"(editors): Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) (editors): Handbook of Philosophical Logic, vol.\u00a0II, pp. 497\u2013604. D. Reidel, Dordrecht (1984)"},{"key":"65_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic","author":"D. Harel","year":"1979","unstructured":"Harel, D.: First-Order Dynamic Logic. LNCS, vol.\u00a068. Springer, Heidelberg (1979)"},{"key":"65_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (Massachusetts) (2000)"},{"key":"65_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"CSL 1987","author":"M. Heisel","year":"1988","unstructured":"Heisel, M., Reif, W., Stephan, W.: Program verification using dynamic logic. In: B\u00f6rger, E., Kleine B\u00fcning, H., Richter, M.M. (eds.) CSL 1987. LNCS, vol.\u00a0329, Springer, Heidelberg (1988)"},{"key":"65_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D. Kozen","year":"1981","unstructured":"Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theoretical Computer Science\u00a014, 113\u2013118 (1981)","journal-title":"Theoretical Computer Science"},{"key":"65_CR11","first-page":"133","volume-title":"Advances in Modal Logic","author":"M. Lange","year":"2005","unstructured":"Lange, M.: A lower complexity bound for propositional dynamic logic with intersection. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic, vol.\u00a05, pp. 133\u2013147. King\u2019s College Publications, London (2005)"},{"key":"65_CR12","doi-asserted-by":"crossref","first-page":"1072","DOI":"10.2178\/jsl\/1129642115","volume":"70","author":"M. Lange","year":"2005","unstructured":"Lange, M., Lutz, C.: 2-EXPTIME lower bounds for propositional dynamic logics with intersection. Journal of Symbolic Logic\u00a070, 1072\u20131086 (2005)","journal-title":"Journal of Symbolic Logic"},{"key":"65_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Formalization of Programming Concepts","author":"D. Leivant","year":"1981","unstructured":"Leivant, D.: Proof Theoretic Methodology for Propositional Dynamic Logic. In: D\u00edaz, J., Ramos, I. (eds.) Formalization of Programming Concepts. LNCS, vol.\u00a0107, Springer, Heidelberg (1981)"},{"key":"65_CR14","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF00268322","volume":"12","author":"H. Nishimura","year":"1979","unstructured":"Nishimura, H.: Sequential method in propositional dynamic logic. Acta Informatica\u00a012, 377\u2013400 (1979)","journal-title":"Acta Informatica"},{"key":"65_CR15","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Concurrent dynamic logic. Journal of the ACM\u00a034, 450\u2013479 (1987)","journal-title":"Journal of the ACM"},{"key":"65_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(87)90035-3","volume":"35","author":"P. David","year":"1987","unstructured":"David, P.: Communication in Concurrent Dynamic Logic. J. Comput. Syst. Sci.\u00a035, 23\u201358 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"65_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0022-0000(80)90061-6","volume":"20","author":"V. Pratt","year":"1980","unstructured":"Pratt, V.: A near-optimal method for reasoning about action. Journal of Computer and System Sciences\u00a020, 231\u2013254 (1980)","journal-title":"Journal of Computer and System Sciences"},{"key":"65_CR18","first-page":"326","volume-title":"Proceedings of the 10th Annual ACM Symposium on Theory of Computing","author":"V. Pratt","year":"1978","unstructured":"Pratt, V.: A practical decision method for propositional dynamic logic. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing, pp. 326\u2013337. ACM Press, New York (1978)"},{"issue":"2","key":"65_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"Prendinger, H., Schurz, G.: Reasoning about action and change: A dynamic logic approach. Journal of Logic, Language, and Information\u00a05(2), 209\u2013245 (1996)","journal-title":"Journal of Logic, Language, and Information"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76837-1_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:41:11Z","timestamp":1619505671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76837-1_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768364"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76837-1_65","relation":{},"subject":[]}}