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...

I would hope that my askphilosophers.org colleagues might be able to answer your question better than I can with respect to the law and logic in philosophy , but I can try to give you some pointers to the literature on the law and logic in artificial intelligence . The first pointer is not so far removed from philosophy. My former colleague in the School of Law at the University at Buffalo, L. Thorne McCarty, applied deontic logic to legal issues, often citing the work of the philosopher Hector-Neri Castañeda. See, e.g., McCarty, L. Thorne (1983), "Permissions and Obligations", Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-83; Karlsruhe, W. Germany) (Los Altos, CA: Morgan Kaufmann): 287-294. There is also a journal, Artificial Intelligence and Law , which occasionally has papers that you might find relevant.