{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:54Z","timestamp":1761611274594},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,1,4]],"date-time":"2011-01-04T00:00:00Z","timestamp":1294099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s11229-010-9866-4","type":"journal-article","created":{"date-parts":[[2011,1,3]],"date-time":"2011-01-03T12:36:43Z","timestamp":1294058203000},"page":"623-660","source":"Crossref","is-referenced-by-count":6,"title":["Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones\u2013P\u00f6rn deontic logic system]"],"prefix":"10.1007","volume":"187","author":[{"given":"Mathijs","family":"de Boer","sequence":"first","affiliation":[]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Parent","sequence":"additional","affiliation":[]},{"given":"Marija","family":"Slavkovic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,1,4]]},"reference":[{"key":"9866_CR1","unstructured":"Aqvist, L. (1965). A new approach to the logical theory of interrogatives, Part I, Analysis. Philosophical Society and Department of Philosophy, University of Uppsala, Sect. 6.2."},{"key":"9866_CR2","first-page":"231","volume":"9","author":"L. Aqvist","year":"1966","unstructured":"Aqvist L. (1966) \u201cNext\u201d and \u201cOught\u201d, alternative foundations for Von Wrights\u2019s tense-logic, with an application to deontic logic. Logique et Analyse 9: 231\u2013251","journal-title":"Logique et Analyse"},{"key":"9866_CR3","first-page":"256","volume-title":"Handbook of philosophical logic","author":"J. Carmo","year":"2002","unstructured":"Carmo J., Jones A. J. I. (2002) Deontic logic and contrary to duties. In: Gabbay D., Guenther F. (eds) Handbook of philosophical logic, 2nd ed. Springer, Heidelberg, pp 256\u2013344","edition":"2"},{"key":"9866_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic\u2014an introduction","author":"B. F. Chellas","year":"1980","unstructured":"Chellas B. F. (1980) Modal logic\u2014an introduction. Cambridge University Press, Cambridge, UK"},{"key":"9866_CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"R.M. Chisholm","year":"1963","unstructured":"Chisholm R.M. (1963) Contrary-to-duty imperatives and deontic logic. Analysis 24: 33\u201336","journal-title":"Analysis"},{"issue":"4","key":"9866_CR6","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/2026120","volume":"81","author":"J. W. Forrester","year":"1984","unstructured":"Forrester J. W. (1984) Gentle murder, or the adverbial samartian. The Journal of Philosophy 81(4): 193\u2013197","journal-title":"The Journal of Philosophy"},{"key":"9866_CR7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1111\/j.1755-2567.1970.tb00430.x","volume":"36","author":"D. Gabbay","year":"1970","unstructured":"Gabbay D. (1970) Selective filtration in modal logics I. Theoria 36: 323\u2013330","journal-title":"Theoria"},{"key":"9866_CR8","first-page":"177","volume-title":"Readings in logic","author":"D. Gabbay","year":"1974","unstructured":"Gabbay D. (1974) Tense logics and the tenses of English. In: Moravcsik J. M. E. (Ed.) Readings in logic. Mouton Publishing Co., The Hague, pp 177\u2013186"},{"key":"9866_CR9","volume-title":"Modal and tense logics","author":"D. M. Gabbay","year":"1976","unstructured":"Gabbay D. M. (1976a) Modal and tense logics. D Reidel, Dordrech"},{"key":"9866_CR10","volume-title":"Investigations in modal and tense logic with applications, Synthese Volume 92","author":"D. Gabbay","year":"1976","unstructured":"Gabbay D. (1976b) Investigations in modal and tense logic with applications, Synthese Volume 92. D Reidel, Dordrech"},{"key":"9866_CR11","unstructured":"Gabbay, D. (2008a). Reactive Kripke semantics and arc accessibility. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 292\u2013341). Lecture notes in computer science, Vol. 4800. Berlin: Springer-Verlag."},{"key":"9866_CR12","first-page":"155","volume-title":"DEON-2008, Deontic logic in computer science, LNAI 5076","author":"D. M. Gabbay","year":"2008","unstructured":"Gabbay D. M. (2008b) Reactive Kripke models and contrary-to-duty obligations. In: Meyden R., Torre L. (eds) DEON-2008, Deontic logic in computer science, LNAI 5076. Springer, Berlin, pp 155\u2013173"},{"key":"9866_CR13","unstructured":"Gabbay, D. M. (2010). Reactive standard deontic logic. Draft, February."},{"key":"9866_CR14","unstructured":"Gabbay, D. (2011). Reactive Kripke models and contrary-to-duty obligations. Expanded version. Journal of Applied Logic. (to appear)"},{"key":"9866_CR15","first-page":"403","volume":"93","author":"D. M. Gabbay","year":"2009","unstructured":"Gabbay D. M., Marcelino S. (2009) Modal logics of reactive frames. Studia Logica 93: 403\u2013444","journal-title":"Studia Logica"},{"key":"9866_CR16","unstructured":"Gabbay, D., & Schlechta, K. (2009). Critical analysis of the Carmo\u2013Jones model of contrary-to-duty obligations. Draft paper 358."},{"key":"9866_CR17","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/BF00869584","volume":"80","author":"S. O. Hansson","year":"1989","unstructured":"Hansson S. O. (1989) A note on the Deontic System DL of Jones and P\u00f6rn. Synthese 80: 427\u2013428","journal-title":"Synthese"},{"key":"9866_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01531265","volume":"9","author":"A. J. I. Jones","year":"1993","unstructured":"Jones A. J. I. (1993) Towards a formal theory of defeasible deontic conditionals. Annals of Mathematics and Artificial Intelligence 9: 151\u2013166","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9866_CR19","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00869304","volume":"65","author":"A.J.I. Jones","year":"1985","unstructured":"Jones A.J.I., P\u00f6rn I. (1985) Ideality, sub-ideality and deontic logic. Synthese 65: 275\u2013290","journal-title":"Synthese"},{"key":"9866_CR20","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00413581","volume":"66","author":"A.J.I. Jones","year":"1986","unstructured":"Jones A.J.I., P\u00f6rn I. (1986) \u201cOught\u201d and \u201cmust\u201d. Synthese 66: 89\u201393","journal-title":"Synthese"},{"key":"9866_CR21","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/BF00869585","volume":"80","author":"A. I. J. Jones","year":"1989","unstructured":"Jones A. I. J., P\u00f6rn I. (1989) A rejoinder to Hansson. Synthese 80: 429\u2013432","journal-title":"Synthese"},{"key":"9866_CR22","doi-asserted-by":"crossref","unstructured":"Jones, A. J. I., & P\u00f6rn, I. (1991). On the logic of deontic conditionals. In J.-J. Ch. Meyer & R. J. Wieringa (Eds.) DEON91\u2014Proceedings of Ist international workshop on deontic logic in computer science. Amsterdam.","DOI":"10.1111\/j.1467-9337.1991.tb00105.x"},{"key":"9866_CR23","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","volume":"37","author":"H. Kamp","year":"1971","unstructured":"Kamp H. (1971) Formal properties of \u2018Now\u2019. Theoria 37: 227\u2013274","journal-title":"Theoria"},{"key":"9866_CR24","unstructured":"Kanger, S. (1971). New foundations for ethical theory, 1957. Reprinted In R. Hilpinen & D. Follesdal (Eds.), Deontic logic: Introductory and systematic readings (pp. 36\u201358). Dordrecht: D. Reidel."},{"key":"9866_CR25","doi-asserted-by":"crossref","first-page":"175","DOI":"10.2307\/2214320","volume":"4","author":"D. Lewis","year":"1970","unstructured":"Lewis D. (1970) Anselm and actuality. Nous 4: 175\u2013188","journal-title":"Nous"},{"key":"9866_CR26","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"B. Loewer","year":"1983","unstructured":"Loewer B., Belzer M. (1983) Dyadic deontic detachment. Synthese 54: 295\u2013318","journal-title":"Synthese"},{"key":"9866_CR27","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken H., Sergot M. (1996) Contrary to duty obligations. Studia Logica 57: 91\u2013115","journal-title":"Studia Logica"},{"key":"9866_CR28","first-page":"135","volume-title":"Essays in moral philosophy","author":"A. N. Prior","year":"1958","unstructured":"Prior A. N. (1958) Escapism: The logical basis of ethics. In: Melden A. I. (Ed.) Essays in moral philosophy. University of Washington Press, Washington, pp 135\u2013146"},{"key":"9866_CR29","doi-asserted-by":"crossref","first-page":"101","DOI":"10.2307\/2214699","volume":"2","author":"A. N. Prior","year":"1968","unstructured":"Prior A. N. (1968) Now. Nous 2: 101\u2013119","journal-title":"Nous"},{"key":"9866_CR30","unstructured":"Reichenbach, H. (1947). Elements of symbolic logic. New York: McMillan. Republished, Free Press (1966)."},{"key":"9866_CR31","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1111\/j.1755-2567.1941.tb01039.x","volume":"7","author":"A. Ross","year":"1941","unstructured":"Ross A. (1941) Imperatives and logic. Theoria 7: 53\u201371","journal-title":"Theoria"},{"key":"9866_CR32","first-page":"46","volume":"33","author":"K. Segerberg","year":"1967","unstructured":"Segerberg K. (1967) On the logic of \u2018Tomorrow\u2019. Theoria 33: 46\u201352","journal-title":"Theoria"},{"key":"9866_CR33","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K. Segerberg","year":"1973","unstructured":"Segerberg K. (1973) Two-dimensional modal logic. Journal of Philosophical Logic 2: 77\u201396","journal-title":"Journal of Philosophical Logic"},{"key":"9866_CR34","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1018975332469","volume":"27","author":"L. Torre van der","year":"1999","unstructured":"van der Torre L., Tan Y.-H. (1999) Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27: 49\u201378","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-010-9866-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-010-9866-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-010-9866-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T15:35:18Z","timestamp":1712072118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-010-9866-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,4]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["9866"],"URL":"https:\/\/doi.org\/10.1007\/s11229-010-9866-4","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,4]]}}}