Text this: A general interpreted modal calculus /