I would say that the working, active logicians study and invent logics, not the computer scientists, who work with the narrower field of objects known as models of computation.
In reality, logicians and type theorists are employed in the computer science department and rightfully so. The whole field of computer science should upgrade with such influx of talent.