@misc{indiciae4982d4da02af, title = {A semantics for obligations}, author = {Dov Gabbay and Karl Schlechta}, year = {2009}, url = {https://arxiv.org/abs/0811.2754}, note = {Source identifier: 0811.2754} }