Logical Models of Legal Argumentation