Introducing Grades in Deontic Logics

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 SDL, our language contains formulas of the form r N or r P, where r [0, 1], expressing that the preference or probability degree respectively of a norm is at least r. We present sound and complete axiomatisations for these logics.

• Type: Conference
• Year: 2008
• Where: DEON
• Authors: Pilar Dellunde, Lluis Godo
• Keywords: Automated Reasoning, DEON 2008, Deontic Formula Sdl, Deontic Logic, Standard Deontic Logic