The noun temporal logic can be countable or uncountable.
The singular form of temporal logic is also temporal logic.