Text this: Semantics, Logics, and Calculi