Modern logic in the service of law | lit.salon