@article {CJM:demi, title = {Tolerating Deontic Conflicts by Adaptively Restricting Inheritance}, journal = {Logique et Analyse}, volume = {219}, year = {2012}, pages = {477-506}, abstract = {

In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics DPM that are characterized by a restriction of the inheritance principle. While they approximate the deductive power of standard deontic logic, they do so only if the user adds certain statements to the premises. By adaptively strengthening the DPM logics, this paper presents logics that overcome this shortcoming. Furthermore, they are capable of modeling the dynamic and defeasible aspect of our normative reasoning by their dynamic proof theory. This way they enable us to have a better insight in the relations between obligations and thus to localize deontic conflicts.

}, author = {Stra{\ss}er, Christian and Meheus, Joke and Beirlaen, Mathieu} } @incollection {DJ:tabl1, title = {A Tableau Method for Inconsistency-Adaptive Logics}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}, series = {Lecture Notes in Artificial Intelligence}, volume = {1847}, year = {2000}, pages = {127{\textendash}142}, publisher = {Springer}, abstract = {

We present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems. The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions. As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing criteria for derivability.

}, author = {Batens, Diderik and Meheus, Joke}, editor = {Dyckhoff, Roy} }