As a student of law with a vivid interest in logic (in a broad sense), I find myself intrigued by the possibility of combining these two subjects. From what I so far have found, the implementation of the latter field of thought to legal discipline is mostly only done with regard to informal logic, with fairly simple overviews of the rules of inference etc.; the scope is mostly one aimed to serve the practical law-man in, say, procedural contexts. The ones that serve the academic community, seem not to be quite technical.
Yet, the legal system seems highly infested with what logic is concerned. The relation between propositions of facts and norms, the norms being constructed with the help of sentential connectives, say, material conditionals or bi-conditionals to name just a few. Yet other phenomena could be named: judgments and other propositional attitudes, the normative "it is the case that", whose descriptive accuracy depends on what legal institution one is in(e.g. penal-law demands higher...