Title: Logics of Specification Languages