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.