Modeling legal conflict resolution based on dynamic logic. - Fengkui Ju; Karl Nygren; Tianwen Xu (J. Log. Comput., 2021)

Multi-agent logic for reasoning about duties and powers in private law. - Tianwen Xu; Fengkui Ju (ICAIL, 2023)