Text this: Decision procedure for first-order linear temporal logic with semi-periodic kemels