Uckelman, Sara L., "A Dynamic Epistemic Logic Approach to Modeling Obligationes", , 2025