logical language