Reference : Deontic Agency and Moral Luck |
Dissertations and theses : Bachelor/master dissertation | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/39770 | |||
Deontic Agency and Moral Luck | |
English | |
Meder, Paul Joseph Yves ![]() | |
3-Sep-2018 | |
University of Luxembourg, Luxembourg, Luxembourg | |
Master in Information and Computer Sciences (Académique) | |
104 | |
van der Torre, Leon ![]() | |
Theobald, Martin ![]() | |
Parent, Xavier ![]() | |
Benzmüller, Christoph ![]() | |
[en] Deontic Logic ; Moral Luck ; STIT Logic ; Input/Output Logic ; Higher-order logic ; Semantical Embedding | |
[en] This work presents temporal STIT I/O logic, an I/O logic based on temporal
STIT logic, and documents its investigation with the proof assistant tool Isabelle/ HOL. We show how to semantically embedding temporal STIT logic as well as the out2 operator in HOL. Implementing those embeddings and also the already existing embedding of the out1 operator into Isabelle/HOL framework, enables the application of higher-order automatic theorem provers for automated reasoning tasks in temporal STIT I/O logic. Finally, we relate our logic to a more philosophical topic called moral luck, identify which aspects of moral luck can be studied by it, and use examples from this subject as test cases for the logic. | |
http://hdl.handle.net/10993/39770 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.