A complete axiom set for Hansson's deontic logic DSDL2

The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily transitive betterness relation. Reference is made to a deductive system put forth by Åqvist [2, 3].

• Type: Journal
• Year: 2010
• Where: IGPL
• Authors: Xavier Parent
• Keywords: Axiomatization, IGPL 2010, Main Contribution, Transitive Betterness Relation