Deontic modal logic is used by academics to try and formalize legal & moral statements. There's also this programming language for codfying legislature: https:

Deontic modal logic is used by academics to try and formalize legal & moral statements. There's also this programming language for codfying legislature: https://catala-lang.org https://catala-lang.org and this startup working on computational law: https://legalese.com/ https://legalese.com/