Equivalence of defeasible normative systems

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearces Equilibrium Logic and its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic.

Original languageEnglish
Pages (from-to)25-48
Number of pages24
JournalJournal Of Applied Non-Classical Logics
Issue number1-2
Publication statusPublished - 1 Jun 2013


  • deontic logic
  • equilibrium logic
  • logic programming


Dive into the research topics of 'Equivalence of defeasible normative systems'. Together they form a unique fingerprint.

Cite this