Formal theories of rights

Omtale

Based on a study of formal theories of rights developed by the Swedish logician Stig Kanger, the author, using formal logic, seeks for a clarification of the logical relations between "rights" and other normative notions such as "obligation", "permission", "power", and "immunity". Furthermore, an analysis is given of the foundation of Kanger's explication. The author also discusses the possibilities for applying the formal theories to analysis of legal and political statements and to specification and development of computer applications. With a bibliography.