Reference : Deontic Agency and Moral Luck
Dissertations and theses : Bachelor/master dissertation
Engineering, computing & technology : Computer science
Deontic Agency and Moral Luck
Meder, Paul Joseph Yves mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
University of Luxembourg, ​Luxembourg, ​​Luxembourg
Master in Information and Computer Sciences (Académique)
van der Torre, Leon mailto
Theobald, Martin mailto
Parent, Xavier mailto
Benzmüller, Christoph mailto
[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.

File(s) associated to this reference

Fulltext file(s):

Open access
MasterThesis_PaulMeder.pdfPublisher postprint2.29 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.