[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.
Disciplines :
Computer science
Author, co-author :
MEDER, Paul Joseph Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Deontic Agency and Moral Luck
Defense date :
03 September 2018
Number of pages :
104
Institution :
Unilu - University of Luxembourg, Luxembourg, Luxembourg
Degree :
Master in Information and Computer Sciences (Académique)