There has actually been quite some work since the 50ies up to the present day on deontic logic, which is reasoning about ethical concepts such as obligation and

There has actually been quite some work since the 50ies up to the present day on deontic logic, which is reasoning about ethical concepts such as obligation and permission.