2014

15. Xin Sun: Proof theory, Semantics and Algebra for Normative Systems. submitted to Journal of Logic and computation.

14. Xin Sun, Zohreh Baniasadi: STIT based deontic logics for the miners puzzle. Accepted by EUMAS2014

13. Xin Sun: STIT, BDI and Input/Output Logic for Normative Multi-agent System. Accepted by ICAART2015

12. Xin Sun, Huimin Dong: Deontic logic based on a decidable PDL with action negation. Accepted by ICAART2015

11. Xin Sun, Zohreh Baniasadi, Shuwen Zhou. How do pessimistic agents save miners? A STIT based approach. 26th Benelus Conference on Artificial Intelligence(BNAIC) 2014. Pages 88-95

10. Xin Sun, Huimin Dong: Stratied action negation, a logic about travel. 26th Benelus Conference on Artificial Intelligence(BNAIC) 2014. Pages 81-88

9. Xin Sun: How to build input/output logic. 15th International Workshop on Computational Logic in Multi-Agent Systems. Pages 123-137

8. Xin Sun and Leendert van der Torre: Combining Regulative and Constitutive Norms in Input/Output Logic. 12th International Conference Deontic Logic and Normative Systems. 2014. Pages 241-257

Technical report: Combining Regulative and Constitutive Norms in Input/Output Logic

7. Dov Gabbay, Livio Robaldo, Xin Sun, Leendert van der Torre, Zohreh Baniasadi: Toward a Linguistic Interpretation of Deontic Paradoxes. 12th International Conference Deontic Logic and Normative Systems. 2014. Pages 108-123

6. Xin Sun, Huimin Dong: The deontic dilemma of action negation, and its solution. Accepted by LOFT2014

5. Dov Gabbay, Loic Gammaitoni, Xin Sun : The paradoxes of permission, an action based solution. Journal of Applied Logic.Volume 12, Issue 2, June 2014, Pages 179–191


2013

4. Xin Sun: Proof theory, Semantics and Algebra for Normative System. The fourth international workshop in logic, rationality and interaction. 2013. Pages 228-238

3. Xin Sun: "To be or not to be"!= "to kill or not to kill: a logic on action negation. 3rd International workshop on philosophy and ethics of social reality. 2013 

 

2011

2. Xin Sun: Conditional Ought, a Game Theoretical Perspectiv. The third international workshop in logic, rationality and interaction. 2011. Pages 356-369

1. Xin Sun, Fenrong Liu: Consequentialist Deontic Logic for Decisions and Games. ILLC Yearbook 2011. Pages 374-397