SUN, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Proof theory, Semantics and Algebra for Normative System
Publication date :
2013
Event name :
4th International Workshop on Logic, Rationality and Interaction
Event place :
Hangzhou, China
Event date :
from 9-10-2013 to 12-10-2013
Audience :
International
Main work title :
Logic, Rationality, and Interaction, 4th International workshop
Blackburn, P., De Rijke, M., Venema, Y.: Modal logic. Cambridge University Press (2001)
Lindahl, L., Odelstad, J.: An algebraic analysis of normative systems. Ratio Juris 13, 261-278 (2000)
Lindahl, L., Odelstad, J.: Intermediaries and intervenients in normative systems. Journal of Applied Logic, 229-250 (2008)
Lindahl, L., Odelstad, J.: TJS. a formal framework for normative systems with intermediaries. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Makinson, D.: On a fundamental problem of deontic logic. In: Mc-Namara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 29-53. IOS Press, Amsterdam (1999)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383-408 (2000)
Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155-185 (2001)
Makinson, D., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32, 391-416 (2003)
Makinson, D., van der Torre, L.: What is input/output logic? In: Lowe, B., Malzkorn, W., Rasch, T. (eds.) Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, pp. 163-174 (2003)
Odelstad, J., Boman, M.: The role of connections as minimal norms in normative systems. In: Bench-Capon, T., Daskalopulu, A., Winkels, R. (eds.) Legal Knowledge and Information Systems. IOS Press, Amsterdam (2002)
Odelstad, J., Boman, M.: Algebras for agent norm-regulation. Annals of Mathematics and Artificial Intelligence 42, 141-166 (2004)
Odelstad, J., Lindahl, L.: Normative systems represented by boolean quasi-orderings. Nordic Journal of Philosophical Logic 5, 161-174 (2000)
Parent, X., van der Torre, L.: I/O logic. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)
