Reasoning about obligations in Obligationes: a formal approach - Uckelman, Sara L. (Advances in modal logic, volume 10, 2014)