Logical theory