Logical System Model