Multi-agent logic for reasoning about duties and powers in private law.

Tianwen Xu, Fengkui Ju

Browse the full ICAIL paper archive.