Logical models