Author:
Ju Fengkui,Grilletti Gianluca
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J., Sierra, C., Wooldridge, M.: A temporal logic of normative systems. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy, pp. 69–106. Springer, Netherlands (2009)
2. Aloni, M.: Free choice, modals, and imperatives. Nat. Lang. Seman. 15(1), 65–94 (2007)
3. Anderson, A.: Some nasty problems in the formal logic of ethics. Noûs 1(4), 345–360 (1967)
4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)
5. Lecture Notes in Computer Science;EM Clarke,1982