{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T07:30:17Z","timestamp":1749627017904},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,11,27]],"date-time":"2014-11-27T00:00:00Z","timestamp":1417046400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Rev. symb. logic"],"published-print":{"date-parts":[[2015,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper tackles an open problem posed by \u00c5qvist. It is the problem of whether his dyadic deontic systems<jats:bold>E<\/jats:bold>and<jats:bold>F<\/jats:bold>are complete with respect to their intended Hanssonian preference-based semantics. It is known that there are two different ways of interpreting what it means for a world to be best or top-ranked among alternatives. This can be understood as saying that it is optimal among them, or maximal among them. First, it is established that, under either the maximality rule or the optimality rule,<jats:bold>E<\/jats:bold>is sound and complete with respect to the class of all preference models, the class of those in which the betterness relation is reflexive, and the class of those in which it is total. Next, an analogous result is shown to hold for<jats:bold>F<\/jats:bold>. That is, it is established that, under either rule,<jats:bold>F<\/jats:bold>is sound and complete with respect to the class of preference models in which the betterness relation is limited, the class of those in which it is limited and reflexive, and the class of those in which it is limited and total.<\/jats:p>","DOI":"10.1017\/s1755020314000367","type":"journal-article","created":{"date-parts":[[2014,11,27]],"date-time":"2014-11-27T12:37:49Z","timestamp":1417091869000},"page":"164-177","source":"Crossref","is-referenced-by-count":9,"title":["COMPLETENESS OF \u00c5QVIST\u2019S SYSTEMS<b>E<\/b>AND<b>F<\/b>"],"prefix":"10.1017","volume":"8","author":[{"given":"XAVIER","family":"PARENT","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,11,27]]},"reference":[{"key":"S1755020314000367_ref9","unstructured":"Goble L . (2014). Further notes on Kratzer semantics for modality, with application to dyadic deontic logic. Unpublished."},{"key":"S1755020314000367_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90041-U"},{"key":"S1755020314000367_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70525-3_15"},{"key":"S1755020314000367_ref25","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp050"},{"key":"S1755020314000367_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00693270"},{"key":"S1755020314000367_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8851-5_10"},{"key":"S1755020314000367_ref32","volume-title":"Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Shoham","year":"1988"},{"key":"S1755020314000367_ref12","first-page":"127","volume-title":"Norms, Logics, and Information Systems","author":"Hansen","year":"1999"},{"key":"S1755020314000367_ref21","volume-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"S1755020314000367_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"S1755020314000367_ref31","doi-asserted-by":"publisher","DOI":"10.2307\/2171939"},{"key":"S1755020314000367_ref16","first-page":"159","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Hilpinen","year":"2001"},{"key":"S1755020314000367_ref11","volume-title":"Naive Set Theory","author":"Halmos","year":"1960"},{"key":"S1755020314000367_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.04.005"},{"key":"S1755020314000367_ref34","first-page":"98","volume-title":"Studies in Logical Theory","author":"Stalnaker","year":"1968"},{"key":"S1755020314000367_ref1","first-page":"43","volume-title":"Deontic Logic in Computer Science","author":"Alchourr\u00f3n","year":"1993"},{"key":"S1755020314000367_ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2214372"},{"key":"S1755020314000367_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXXXVI.342.242"},{"key":"S1755020314000367_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/1907435"},{"key":"S1755020314000367_ref17","first-page":"3","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Hilpinen","year":"2013"},{"key":"S1755020314000367_ref30","doi-asserted-by":"publisher","DOI":"10.2307\/2296384"},{"key":"S1755020314000367_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01057652"},{"key":"S1755020314000367_ref8","unstructured":"Goble L . (2013). Notes on Kratzer semantics for modality, with application to simple deontic logic. Unpublished."},{"key":"S1755020314000367_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0387-2_3"},{"key":"S1755020314000367_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9308-0"},{"key":"S1755020314000367_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0021104"},{"key":"S1755020314000367_ref36","first-page":"138","article-title":"Intransitivity and the mere addition paradox","volume":"16","author":"Temkin","year":"1987","journal-title":"Philosophy and Public Affairs"},{"key":"S1755020314000367_ref3","volume-title":"An Introduction to Deontic logic and the Theory of Normative Systems","author":"\u00c5qvist","year":"1987"},{"key":"S1755020314000367_ref15","doi-asserted-by":"publisher","DOI":"10.2307\/1913486"},{"key":"S1755020314000367_ref28","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/5.6.783"},{"key":"S1755020314000367_ref18","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XCIV.374.177"},{"key":"S1755020314000367_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF00693275"},{"key":"S1755020314000367_ref23","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/55.4.310"},{"key":"S1755020314000367_ref35","doi-asserted-by":"publisher","DOI":"10.2307\/2296608"},{"key":"S1755020314000367_ref4","first-page":"177","article-title":"A completeness theorem in deontic logic with systematic frame constants","volume":"36","author":"\u00c5qvist","year":"1993","journal-title":"Logique and Analyse"},{"key":"S1755020314000367_ref2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1093\/oso\/9780198538615.003.0004","volume-title":"Conditionals: From Philosophy to Computer Science","author":"Alchourr\u00f3n","year":"1995"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T10:53:09Z","timestamp":1717584789000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000367\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,27]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["S1755020314000367"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000367","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,27]]}}}