@misc{indiciae3918d0074161, title = {Mīmā\textbackslash{}d\{m\}sā deontic logic: proof theory and applications}, author = {Agata Ciabattoni and Elisa Freschi and Francesco A. Genco and Björn Lellmann}, year = {2017}, doi = {10.1007/978-3-319-24312-2\_22}, url = {https://arxiv.org/abs/1705.03211}, note = {Source identifier: 1705.03211} }