Email Record: A general interpreted modal calculus /