Reference : Completeness of Aqvist's systems E and F
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/23936
Completeness of Aqvist's systems E and F
English
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2015
Review of Symbolic Logic
8
1
164-177
Yes
International
[en] deontic logic ; preferences ; dyadic deontic logic
[en] This paper tackles an open problem posed by Åqvist. It is the problem of whether his dyadic deontic systems E and F 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, E 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 F. That is, it is established that, under either rule, F 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.
http://hdl.handle.net/10993/23936

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
blank.pdfPublisher postprint7.98 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.