{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:46:03Z","timestamp":1762875963476,"version":"3.37.3"},"reference-count":22,"publisher":"Oxford University Press (OUP)","issue":"2","license":[{"start":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T00:00:00Z","timestamp":1522195200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/academic.oup.com\/journals\/pages\/about_us\/legal\/notices"}],"funder":[{"name":"National Social Science Foundation of China","award":["12CZX053"],"award-info":[{"award-number":["12CZX053"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["SKZZY201304"],"award-info":[{"award-number":["SKZZY201304"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3,6]]},"DOI":"10.1093\/logcom\/exy008","type":"journal-article","created":{"date-parts":[[2018,2,27]],"date-time":"2018-02-27T20:13:12Z","timestamp":1519762392000},"page":"265-284","source":"Crossref","is-referenced-by-count":3,"title":["A temporal dynamic deontic logic"],"prefix":"10.1093","volume":"29","author":[{"given":"Fengkui","family":"Ju","sequence":"first","affiliation":[{"name":"School of Philosophy, Beijing Normal University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"van Eijck","sequence":"additional","affiliation":[{"name":"Centrum Wiskunde and Informatica, Amsterdam, The Netherlands"},{"name":"Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"key":"key\n\t\t\t\t2019022611004770200_C1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2214623","article-title":"Some nasty problems in the formal logic of ethics","volume":"1","author":"Anderson","year":"1967","journal-title":"No\u00fbs"},{"key":"key\n\t\t\t\t2019022611004770200_C2","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.jal.2004.01.007","article-title":"Action negation and alternative reductions for dynamic deontic logics","volume":"2","author":"Broersen","year":"2004","journal-title":"Journal of Applied Logic"},{"key":"key\n\t\t\t\t2019022611004770200_C3","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","article-title":"\u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic","volume":"33","author":"Emerson","year":"1986","journal-title":"Journal of the ACM"},{"key":"key\n\t\t\t\t2019022611004770200_C4","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"key":"key\n\t\t\t\t2019022611004770200_C5","doi-asserted-by":"crossref","unstructured":"G. Gargov and S.Passy. A note on boolean modal logic. In Mathematical Logic, P. P. Petkov ed., pp. 311--321. 1990.","DOI":"10.1007\/978-1-4613-0609-2_21"},{"key":"key\n\t\t\t\t2019022611004770200_C6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02378802","article-title":"Whatever happened to deontic logic","volume":"11","author":"Geach","year":"1982","journal-title":"Philosophia"},{"key":"key\n\t\t\t\t2019022611004770200_C7","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/0022-0000(82)90003-4","article-title":"Process logic: expressiveness, decidability, completeness","volume":"25","author":"Harel","year":"1982","journal-title":"Journal of Computer and System Sciences"},{"key":"key\n\t\t\t\t2019022611004770200_C8","doi-asserted-by":"crossref","unstructured":"R. Hilpinen . Deontic logic. In The Blackwell Guide to Philosophical Logic, L. Goble ed., pp. 159--182. Blackwell Publishing, 2001.","DOI":"10.1111\/b.9780631206934.2001.00011.x"},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","year":"2006","author":"Hopcroft","key":"key\n\t\t\t\t2019022611004770200_C9"},{"key":"key\n\t\t\t\t2019022611004770200_C10","first-page":"23","article-title":"On axiomatization of boolean modalities","volume":"8","author":"Ju","year":"2015","journal-title":"Studies in Logic"},{"key":"key\n\t\t\t\t2019022611004770200_C11","unstructured":"S. Kanger . New foundations for ethical theory. In Deontic Logic: Introductory and Systematic Readings, R. Hilpinen ed., pp. 36--58. Netherlands: Springer, 1971."},{"key":"key\n\t\t\t\t2019022611004770200_C12","doi-asserted-by":"crossref","DOI":"10.1016\/S1874-5857(06)80029-4","article-title":"Deontic logic","volume-title":"The Stanford Encyclopedia of Philosophy","author":"McNamara"},{"key":"key\n\t\t\t\t2019022611004770200_C13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","article-title":"A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic","volume":"29","author":"Meyer","year":"1988","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t2019022611004770200_C14","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF00286492","article-title":"Descriptively complete process logic","volume":"14","author":"Nishimura","year":"1980","journal-title":"Acta Informatica"},{"key":"key\n\t\t\t\t2019022611004770200_C15","first-page":"93","article-title":"Process logic","volume-title":"Proceedings of the 6th ACM Symposium on Principles of Programming Languages","author":"Pratt","year":"1979"},{"key":"key\n\t\t\t\t2019022611004770200_C16","doi-asserted-by":"crossref","unstructured":"R. Pucella and V.Weissman. Reasoning about dynamic policies. In Proceedings of the 7th International Conference of Foundations of Software Science and Computation Structures, I. Walukiewicz ed., pp. 453--467. Berlin: Springer-Verlag, 2004.","DOI":"10.1007\/978-3-540-24727-2_32"},{"article-title":"Deontic logic based on a decidable PDL with action negation","year":"2015","author":"Sun","key":"key\n\t\t\t\t2019022611004770200_C17"},{"key":"key\n\t\t\t\t2019022611004770200_C18","doi-asserted-by":"crossref","unstructured":"J. van Benthem , D.Grossi and F.Liu. Deontics = betterness + priority. In Proceedings of the 10th International Conference of Deontic Logic in Computer Science, G. Governatori and G. Sartor, eds, pp. 50--65. Berlin: Springer-Verlag, 2010.","DOI":"10.1007\/978-3-642-14183-6_6"},{"key":"key\n\t\t\t\t2019022611004770200_C19","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","article-title":"The dynamic logic of permission","volume":"6","author":"van der Meyden","year":"1996","journal-title":"Journal of Logic and Computation"},{"article-title":"Modelling legal relations","year":"2017","author":"van Eijck","key":"key\n\t\t\t\t2019022611004770200_C20"},{"key":"key\n\t\t\t\t2019022611004770200_C21","doi-asserted-by":"crossref","unstructured":"M. Vardi and P.Wolper. Yet another process logic. In Logics of Programs, E. Clarke and D. Kozen, eds, pp.501--512. Vol. 164 of Lecture Notes in Computer Science, Berlin: Springer, 1984.","DOI":"10.1007\/3-540-12896-4_383"},{"key":"key\n\t\t\t\t2019022611004770200_C22","unstructured":"H. Wansing . On the negation of action types: constructive concurrent PDL. In Proceedings of the Twelfth International Congress of Logic, Methodology and Philosophy of Science, P. H\u00e1jek, L. Valdes-Villanueva and D. Westerstahl, eds, pp. 207--225. London: King's College Publications, 2005."}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/29\/2\/265\/27941060\/exy008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T02:34:55Z","timestamp":1589855695000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/29\/2\/265\/4954041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,28]]},"references-count":22,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2018,3,28]]},"published-print":{"date-parts":[[2019,3,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exy008","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2019,3]]},"published":{"date-parts":[[2018,3,28]]}}}