Text this: Value Functions for Temporal Logic: Optimal Policies and Safety Filters