Logic Types and forms and Brahinh (logic when Stoic model)