Logical language