Logical Safety