Introducing Grades in Deontic Logics
|Title:||Introducing Grades in Deontic Logics|
|Journal:||Lecture Notes in Computer Science|
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deontic logic (SDL) formulas. Given a deontic formula , our language contains formulas of the form or , where , expressing that the preference or probability degree respectively of a norm is at least . We present sound and complete axiomatisations for these logics.