A modal logic for reasoning on consistency and completeness of regulations

Authors Christophe Garion, Stéphanie Roussel, Laurence Cholvy

Thumbnail PDF


  • Filesize: 244 kB
  • 17 pages

Document Identifiers

Author Details

Christophe Garion
Stéphanie Roussel
Laurence Cholvy

Cite AsGet BibTex

Christophe Garion, Stéphanie Roussel, and Laurence Cholvy. A modal logic for reasoning on consistency and completeness of regulations. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. In this contribution, we extend previous works and we consider that regulations are expressed in a first order modal deontic logic.
  • Regulations
  • consistency
  • completeness
  • deontic logic
  • default logic


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail