Logical_model