Modeling Legal Conflict Resolution based on Dynamic Logic

Date: