-- Logics of Linear Frames -- Analytic Labelled ND and Proof Search -- Modal Hybrid