Goal-based theory evaluation

摘要

This paper describes how part of Dworkin's Model of Principles, a coherence theory of the law, can be made sufficiently precise to capture it in a logical theory. The result is formalised by means of an addition to Reason-based Logic.