Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints

This article considers the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints and gives its complete axiomatization for it.