Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)

This paper introduces the Formula of the Universal Law Logic (FULL), a multi-sorted quantified modal logic, to formalize Kantian ethics for machine ethics. FULL aims to overcome limitations of current axiomatic approaches by enabling Artificial Moral Agents (AMAs) to reason about morality and enhance AI safety.