Logics of Specification Languages