{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:32:23Z","timestamp":1740547943666,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223450"},{"type":"electronic","value":"9783540259848"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25984-8_18","type":"book-chapter","created":{"date-parts":[[2010,9,11]],"date-time":"2010-09-11T02:31:38Z","timestamp":1284172298000},"page":"259-273","source":"Crossref","is-referenced-by-count":2,"title":["PDL with Negation of Atomic Programs"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Lutz","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Considerations on floyd-hoare logic. In: FOCS: IEEE Symposium on Foundations of Computer Science, FOCS (1976)","DOI":"10.1109\/SFCS.1976.27"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/800105.803418","volume-title":"Conference record of the ninth annual ACM Symposium on Theory of Computing","author":"M.J. Fischer","year":"1977","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional modal logic of programs. In: Conference record of the ninth annual ACM Symposium on Theory of Computing, pp. 286\u2013294. ACM Press, New York (1977)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018, 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR4","first-page":"496","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 496\u2013604. D. Reidel Publishers, Dordrechtz (1984)"},{"key":"18_CR5","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 (2000)"},{"key":"18_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-60437-5_10","volume-title":"Topics in Artificial Intelligence","author":"G. Giacomo De","year":"1995","unstructured":"De Giacomo, G., Lenzerini, M.: PDL-based framework for reasoning about actions. In: Gori, M., Soda, G. (eds.) AI*IA 1995. LNCS, vol.\u00a0992, pp. 103\u2013114. Springer, Heidelberg (1995)"},{"key":"18_CR8","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, 209\u2013245 (1996)","journal-title":"Journal of Logic, Language, and Information"},{"key":"18_CR9","first-page":"205","volume-title":"Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI 1994)","author":"G.D. Giacomo","year":"1994","unstructured":"Giacomo, G.D., Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics. In: Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI 1994), vol.\u00a01, pp. 205\u2013212. AAAI Press, Menlo Park (1994)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. Information and Computation\u00a093 (1991)","DOI":"10.1016\/0890-5401(91)90026-X"},{"key":"18_CR11","first-page":"203","volume-title":"Proceedings of the Fifth Symposium on Principles of Programming Languages","author":"D. Harel","year":"1978","unstructured":"Harel, D., Pratt, V.: Nondeterminism in logics of programs. In: Proceedings of the Fifth Symposium on Principles of Programming Languages, pp. 203\u2013213. ACM, New York (1978)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-15648-8_31","volume-title":"Logics of Programs","author":"M.Y. Vardi","year":"1985","unstructured":"Vardi, M.Y.: The taming of converse: Reasoning about two-way computations. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 413\u2013424. Springer, Heidelberg (1985)"},{"key":"18_CR13","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":"S. Danecki","year":"1985","unstructured":"Danecki, S.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) SCT 1984. LNCS, vol.\u00a0208, pp. 34\u201353. Springer, Heidelberg (1985)"},{"key":"18_CR14","unstructured":"Broersen, J.: Relativized action complement for dynamic logics. In: Balbiani, P., Suzuki, N.-Y., Zakharyaschev, F.W., M. (eds.) Advances in Modal Logics, vol.\u00a04, pp. 51\u201369. King\u2019s College Publications (2003)"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: Gains and questions. Journal of Logic and Computation\u00a02, 5\u201330 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"I.L. Humberstone","year":"1983","unstructured":"Humberstone, I.L.: Inaccessible worlds. Notre Dame Journal of Formal Logic\u00a024, 346\u2013352 (1983)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR17","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-1-4613-0897-3_17","volume-title":"Mathematical Logic and Applications","author":"G. Gargov","year":"1987","unstructured":"Gargov, G., Passy, S., Tinchev, T.: Modal environment for Boolean speculations. In: Skordev, D. (ed.) Mathematical Logic and Applications, pp. 253\u2013263. Plenum Press, New York (1987)"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1305\/ndjfl\/1093635335","volume":"31","author":"V. Goranko","year":"1990","unstructured":"Goranko, V.: Modal definability in enriched languages. Notre Dame Journal of Formal Logic\u00a031, 81\u2013105 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"18_CR19","unstructured":"Lutz, C., Sattler, U.: Mary likes all cats. In: Baader, F., Sattler, U. (eds.) Proceedings of the 2000 International Workshop in Description Logics (DL 2000). Number 33 in CEUR-WS, pp. 213\u2013226 (2000), http:\/\/ceur-ws.org\/"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y., Wolper, P.: Automata-theoretic techniques for modal logic of programs. Journal of Computer and System Sciences\u00a032, 183\u2013221 (1986)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR21","volume-title":"Advances in Modal Logics","author":"C. Lutz","year":"2001","unstructured":"Lutz, C., Sattler, U.: The complexity of reasoning with boolean modal logics. In: Wolter, F., Wansing, H., de Rijke, M., Zakharyaschev, M. (eds.) Advances in Modal Logics, vol.\u00a03, CSLI Publications, Stanford (2001)"},{"key":"18_CR22","volume-title":"The Description Logic Handbook: Theory, implementation and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)"},{"key":"18_CR23","first-page":"466","volume-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI 1991)","author":"K.D. Schild","year":"1991","unstructured":"Schild, K.D.: A correspondence theory for terminological logics: Preliminary report. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 466\u2013471. Morgan Kaufmann, San Francisco (1991)"},{"key":"18_CR24","unstructured":"Matijasevich, Y.: Simple examples of undecidable associative calculi. Soviet mathematics (Doklady), 555\u2013557 (1967)"},{"key":"18_CR25","first-page":"3","volume-title":"Automata Studies","author":"S. Kleene","year":"1956","unstructured":"Kleene, S.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 3\u201341. Princeton University Press, Princeton (1956)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Lutz, C., Walther, D.: PDL with negation of atomic programs. LTCS-Report 03-04, Technical University Dresden (2003), Available from http:\/\/lat.inf.tudresden.de\/research\/reports.html","DOI":"10.25368\/2022.129"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25984-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T18:10:16Z","timestamp":1740507016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25984-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223450","9783540259848"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25984-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}