On Pretabular Logics in NExtK4 (Part I). - Shan Du; Hongkui Kang (Stud Logica, 2014)