Abstract de la publi numéro 13125

This article considers the temporal logic of the lexicographic products of unbounded dense linear orders and provides a complete decision procedure via mosaics for the satisfiability problem it gives rise to.