Is modal logic necessary or to be desired for expert systems in law?