Document Type


Publication Date



The fundamental concept of the LEGAL RELATIONS Language (LRL) is the recursively-defined notion of LEGAL RELATION (LR). As LR is defined here, there is an infinite number of different LEGAL RELATIONS, and LRL is a language for precisely and completely describing each of those infinite number of dfferent LEGAL RELATIONS. With its robust collection of dfferent names, one for each of the different LEGAL RELATIONS, LRL provides adequate vocabulary for (1) describing every possible legal state of affairs, (2) accounting for every possible change from one legal state of affairs to another, (3) representing every possible legal rule, and (4) representing every possible legal argument. There are presented here some illustrations of how LRL can be used by lawyers, law students, judges, and expert system-builders to demonstrate how the systems crafted by deontic logicians can be applied in the legal domain.