The logic of time in law and legal expert systems