Text this: Model-theoretic logics