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

Philippe Balbiani

Browse the full TIME paper archive.