Uckelman, S. L. (2014, August). Reasoning about Obligations in Obligationes: A Formal Approach. Presented at The tenth Advances in Modal Logic conference (AiML-2014), Groningen, The Netherlands