Xin Sun. Proof Theory, Semantics and Algebra for Normative Systems. In Davide Grossi, Olivier Roy, Huaxin Huang, editors, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Volume 8196 of Lecture Notes in Computer Science, pages 228-238, Springer, 2013. [doi]
Abstract is missing.