Hasle, Per: Temporal Logic