Logical System Definition