Email Record: Logics of specification languages /