Text this: Logics of Specification Languages