Abstract
The strategy described here is an illustration of the fact that one may describe graded information by either a relation on the information or the semantics itself, as in preferential structures, or by a relation on the truth values. Here the authors take the latter approach to solve problems with contrary-to-duty obligations.
Keywords
Modal Logic Classical Logic Proof Theory Deontic Logic Ideal World
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Copyright information
© Springer International Publishing AG 2016