On the expressiveness of temporal logic programming

In this paper, we address expressiveness issues for temporal logic programming, and in particular for the language TEMPLOG. We focus on the temporal component of the expressiveness by considering the propositional fragment of the language, which we call P TEMPLOG. We prove that P TEMPLOG is able to express positive least-fixpoint temporal properties, which (up to a convention concerning atomic formulas) corresponds to finitely regular ω-languages. Finally, we consider the extension of P TEMPLOG With stratified negation and we show that it is able to express all ω-regular languages.