Dear Peter, by a "temporal logic problem", I mean finding valid values for variables of a system of temporal logic expressions. Variables could be, for instance, integers.

Thanks for your's answer. What is not cleat to me is what are "list/set generators" that you mention? 

Hi Peter, I totally agree what you have written about set generators.

Now my question is someone knows works concerning this topic in literature (and can suggest references about).

I think ASP can be useful for solve temporal logic programs.

a problem domain can be modeled as ASP rules and temporal logic constraints can be represented as ASP constraints.

then a set of answer sets can be generated where each answer set corresponds to a model of the system. thanks to the  temporal logic constraints, The result will be a set of  answer sets ( i.e. stable models )  where a temporal logic property holds . I have used ASP for a model checking problem in the attached paper. I hope you want it useful.

Conference Paper A Semantic Model for Action-based Adaptive Security