{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T07:29:29Z","timestamp":1749626969671},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705246"},{"type":"electronic","value":"9783540705253"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70525-3_15","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T12:17:57Z","timestamp":1215951477000},"page":"189-202","source":"Crossref","is-referenced-by-count":5,"title":["On the Strong Completeness of \u00c5qvist\u2019s Dyadic Deontic Logic G"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Parent","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"373","DOI":"10.2307\/2214372","volume":"4","author":"B. Hansson","year":"1969","unstructured":"Hansson, B.: An analysis of some deontic logics. No\u00fbs\u00a04, 373\u2013398 (1969)","journal-title":"No\u00fbs"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF00263358","volume":"2","author":"P. Mott","year":"1973","unstructured":"Mott, P.: On Chisholm\u2019s paradox. Journal of Philosophical Logic\u00a02, 197\u2013211 (1973)","journal-title":"Journal of Philosophical Logic"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"357","DOI":"10.2307\/2215438","volume":"16","author":"J. Tomberlin","year":"1981","unstructured":"Tomberlin, J.: Contrary-to-duty imperatives and conditional obligation. No\u00fbs\u00a016, 357\u2013375 (1981)","journal-title":"No\u00fbs"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"B. Loewer","year":"1983","unstructured":"Loewer, B., Belzer, M.: Dyadic deontic detachment. Synthese\u00a054, 295\u2013318 (1983)","journal-title":"Synthese"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sergot, M.: Dyadic deontic logic and contrary-to-duty obligation. In: [29], pp. 223\u2013262","DOI":"10.1007\/978-94-015-8851-5_10"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"van der Torre, L., Tan, Y.H.: The many faces of defeasibility in defeasible deontic logic. In: [29], pp. 79\u2013121","DOI":"10.1007\/978-94-015-8851-5_5"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a08, pp. 265\u2013343. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.3166\/jancl.13.345-375","volume":"3\/4","author":"X. Parent","year":"2003","unstructured":"Parent, X.: Remedial interchange, contrary-to-duty obligation and commutation. Journal of Applied Non-Classical Logics\u00a03\/4, 345\u2013375 (2003)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00693275","volume":"4","author":"W. Spohn","year":"1975","unstructured":"Spohn, W.: An analysis of Hansson\u2019s dyadic deontic logic. Journal of Philosophical Logic\u00a04, 237\u2013252 (1975)","journal-title":"Journal of Philosophical Logic"},{"key":"15_CR10","unstructured":"\u00c5qvist, L.: An Introduction to Deontic logic and the Theory of Normative Systems, Bibliopolis, Naples (1987)"},{"key":"15_CR11","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-94-010-0387-2_3","volume-title":"Handbook of Philosophical Logic","author":"L. \u00c5qvist","year":"2002","unstructured":"\u00c5qvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a08, pp. 147\u2013264. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"key":"15_CR12","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":"15_CR13","doi-asserted-by":"publisher","first-page":"745","DOI":"10.2307\/2171939","volume":"65","author":"A. Sen","year":"1997","unstructured":"Sen, A.: Maximization and the act of choice. Econometrica\u00a065, 745\u2013779 (1997)","journal-title":"Econometrica"},{"key":"15_CR14","volume-title":"Bridges from Classical to Nonmonotonic logic","author":"D. Makinson","year":"2005","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic logic. King\u2019s College Publications, London (2005)"},{"key":"15_CR15","volume-title":"Coherent Systems","author":"K. Schlechta","year":"2004","unstructured":"Schlechta, K.: Coherent Systems. Elsevier, Amsterdam (2004)"},{"key":"15_CR16","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Blackwell, Oxford (1973)"},{"key":"15_CR17","unstructured":"Parent, X.: Non-monotonic Logics and Modes of Argumentation \u2212 The Case of Conditional Obligation. PhD thesis, University of Aix-Marseille I, France (2002)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a044, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence\u00a055, 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"15_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/978-3-540-25927-5_7","volume-title":"Deontic Logic in Computer Science","author":"L. Goble","year":"2004","unstructured":"Goble, L.: A proposal for dealing with deontic dilemmas. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 74\u2013113. Springer, Heidelberg (2004)"},{"key":"15_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"B. Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic. Cambridge University Press, Cambridge (1980)"},{"key":"15_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic, vol.\u00a053. Cambrigde University Press, Cambridge (2001)"},{"key":"15_CR23","first-page":"177","volume":"36","author":"L. \u00c5qvist","year":"1993","unstructured":"\u00c5qvist, L.: A completeness theorem in deontic logic with systematic frame constants. Logique & Analyse\u00a036, 177\u2013192 (1993)","journal-title":"Logique & Analyse"},{"key":"15_CR24","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"127","volume-title":"Norms, Logics and Information Systems","author":"J. Hansen","year":"1999","unstructured":"Hansen, J.: On relations between \u00c5qvist\u2019s deontic system G and van Eck\u2019s deontic temporal logic. In: Mc Namara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. Frontiers in Artificial Intelligence and Applications, pp. 127\u2013144. IOS Press, Amsterdam (1999)"},{"key":"15_CR25","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537472.003.0002","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Makinson","year":"1994","unstructured":"Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 35\u2013110. Clarendon Press, Oxford (1994)"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"G. Boutilier","year":"1994","unstructured":"Boutilier, G.: Unifying default reasoning and belief revision in a modal framework. Artificial Intelligence\u00a068, 33\u201385 (1994)","journal-title":"Artificial Intelligence"},{"issue":"1-4","key":"15_CR27","doi-asserted-by":"publisher","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.: Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence\u00a027(1-4), 49\u201378 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Non-Monotonic Reasoning","author":"D. Makinson","year":"1989","unstructured":"Makinson, D.: General theory of cumulative inference. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E. (eds.) Non-Monotonic Reasoning 1988. LNCS, vol.\u00a0346, pp. 1\u201318. Springer, Heidelberg (1989)"},{"volume-title":"Defeasible Deontic Logic","year":"1997","key":"15_CR29","unstructured":"Nute, D. (ed.): Defeasible Deontic Logic. Kluwer Academic Publishers, Dordrecht (1997)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70525-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T07:50:28Z","timestamp":1709106628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70525-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705246","9783540705253"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70525-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}