Prescriptive and descriptive obligations in dynamic epistemic deontic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6237 LNAI, Issue M4D, 2010, Pages 150-161

  Aucher, Guillaume ^a   Boella, Guido ^b   Van Der Torre, Leendert ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEONTIC LOGIC; NORMATIVE SYSTEM;

MULTI AGENT SYSTEMS; ONTOLOGY;

SEMANTIC WEB;

EID: 78649531326     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16524-5_10     Document Type: Conference Paper

References (15)

1. Alchourŕon, C.: Philosophical foundations of deontic logic and the logic of defeasible conditionals. In: Meyer, J.-J., Wieringa, R. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 43-84. John Wiley & Sons, Chichester (1993)
2. Alchourron, C.E., Bulygin, E.: The expressive conception of norms. In: Hilpinen, R. (ed.) New studies in deontic logic, pp. 95-124. D. Reidel, Dordrecht (1981)
3. Aucher, G., Boella, G., van der Torre, L.: Privacy regulations in dynamic epistemic deontic logic. In: Procs. of Non Monotonic Reasoning Workshop 2010 (2010)
4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
5. Boella, G., Verhagen, H., van der Torre, L.: Introduction to the special issue on normative multiagent systems. Journal of Autonomous Agents and Multi Agent Systems, 1-10 (2008)
6. Castañeda, H.N.: The paradoxes of Deontic Logic: the simplest solution to all of them in one fell swoop, pp. 37-86. Synthese library (1981)
7. Castañeda, H.N.: Knowledge and epistemic obligation. Philosophical perspectives 2, 211-233 (1988)
8. Hansen, J.: Imperatives and deontic logic: On the semantic foundations of deontic logic. PhD thesis, University of Leipzig, Germany (2008)
9. Kooi, B.: Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information 12(4), 381-408 (2003)
10. Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29-54. IOS Press, Amsterdam (1999)
11. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29(4), 383-408 (2000)
12. Pacuit, E., Parikh, R.: The logic of knowledge based obligation. Synthese 149(2) (2006)
13. van der Torre, L., Tan, Y.: An update semantics for deontic reasoning. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 73-90. IOS Press, Amsterdam (1999)
14. von Wright, G.H.: On the logic of norms and actions. In: Hilpinen, R. (ed.) New Studies in Deontic Logic: Norms, Actions and the Foundations of Ethics, pp. 3-35. D.Reidel, Dordrechtz (1981)
15. von Wright, G.H.: Deontic logic - as I see it. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 15-25. IOS Press, Amsterdam (1999)