{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:13Z","timestamp":1760202673859},"reference-count":23,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1093\/logcom\/exu041","type":"journal-article","created":{"date-parts":[[2014,6,29]],"date-time":"2014-06-29T00:20:00Z","timestamp":1404001200000},"page":"1439-1467","source":"Crossref","is-referenced-by-count":2,"title":["A complete axiomatization of a temporal logic with obligation and robustness"],"prefix":"10.1093","volume":"26","author":[{"given":"Tim","family":"French","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John C.","family":"McCabe-Dansted","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Reynolds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,6,27]]},"reference":[{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.1","DOI":"10.1093\/jigpal\/jzp009"},{"key":"2016092623524269000_26.5.1439.2","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","article-title":"Seeing to it that: a canonical form for agentives","volume":"54","author":"Belnap","year":"1988","journal-title":"Theoria"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.3","DOI":"10.1023\/B:ARTI.0000013352.63798.08"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.4","DOI":"10.1007\/BF00253912"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.5","DOI":"10.1016\/S0019-9958(84)80047-9"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.6","DOI":"10.2307\/2026120"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.7","DOI":"10.1007\/978-3-540-74621-8_13"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.8","DOI":"10.1007\/978-3-642-14183-6_7"},{"unstructured":"Hughes G. Cresswell M. An Introduction to Modal Logic. Methuen; 1968.","key":"2016092623524269000_26.5.1439.9"},{"doi-asserted-by":"crossref","unstructured":"Kott L. , editor. Proceedings of 13th International Colloquium, ICALP86. Vol. 226. Rennes, France: Springer-Verlag; 1986. Automata, languages and programming. July 15\u201319, 1986.","key":"2016092623524269000_26.5.1439.10","DOI":"10.1007\/3-540-16761-7"},{"doi-asserted-by":"crossref","unstructured":"McCabe-Dansted J. C. A Temporal Logic of Robustness. The University of Western Australia; 2011. PhD Thesis.","key":"2016092623524269000_26.5.1439.11","DOI":"10.1109\/TIME.2010.7"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.12","DOI":"10.1007\/978-3-540-87803-2_25"},{"key":"2016092623524269000_26.5.1439.13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-4524-6_1","article-title":"Modal epistemic and doxastic logic","volume-title":"Handbook of Philosophical Logic","volume":"10","author":"Meyer","year":"2003"},{"doi-asserted-by":"crossref","unstructured":"Meyer J.-J. C. Wieringa R. J. Dignum F. P. M. The role of deontic logic in the specifiation of information systems. Kluwer International Series in Engineering and Computer Science; 1998. p. 71-11.","key":"2016092623524269000_26.5.1439.14","DOI":"10.1007\/978-1-4615-5643-5_4"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.15","DOI":"10.1016\/0004-3702(93)90107-M"},{"unstructured":"Nute D. Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 3. Oxford University Press; 1987. Defeasible logic.","key":"2016092623524269000_26.5.1439.16"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.17","DOI":"10.1007\/BF00370671"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.18","DOI":"10.2307\/2695091"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.19","DOI":"10.2307\/2215390"},{"doi-asserted-by":"crossref","unstructured":"Smith T. Proceedings of the 4th International Conference on Artificial Intelligence and Law. ACM; 1993. Violation of norms; p. 60-65.","key":"2016092623524269000_26.5.1439.20","DOI":"10.1145\/158976.158983"},{"key":"2016092623524269000_26.5.1439.21","first-page":"165","volume-title":"Deontic Logic as Founded on Tense Logic","volume":"152","author":"Thomason","year":"1981"},{"unstructured":"van der Torre L. W. N. Tan Y.-H. The temporal analysis of Chisholm's paradox. In: Senator T. Buchanan B. , editors. Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference. AAAI Press; 1998. p. 650-655.","key":"2016092623524269000_26.5.1439.22"},{"doi-asserted-by":"publisher","key":"2016092623524269000_26.5.1439.23","DOI":"10.2307\/2275595"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/5\/1439\/6831625\/exu041.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:56:14Z","timestamp":1565571374000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,27]]},"references-count":23,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2016,9,26]]},"published-print":{"date-parts":[[2016,10]]}},"alternative-id":["10.1093\/logcom\/exu041"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu041","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2014,6,27]]}}}