Introducing Grades in Deontic Logics

  • Pilar Dellunde
  • Lluís Godo
Conference paper

DOI: 10.1007/978-3-540-70525-3_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
Cite this paper as:
Dellunde P., Godo L. (2008) Introducing Grades in Deontic Logics. In: van der Meyden R., van der Torre L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science, vol 5076. Springer, Berlin, Heidelberg

Abstract

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 \(\overline{r} \to N\Phi\) or \(\overline{r} \to P\Phi\), 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.

Keywords

Deontic Logic Fuzzy Logic Norms Institutions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Pilar Dellunde
    • 1
    • 2
  • Lluís Godo
    • 2
  1. 1.Univ. Autònoma de BarcelonaBellaterraSpain
  2. 2.IIIA - CSICBellaterraSpain

Personalised recommendations