LQHS Logic