Multi-agent Logic for Reasoning about Duties and Powers in Private Law

Date:

More information here