Text this: Linear-time logics -- a coalgebraic perspective