Reasoning About Hybrid Systems Based on a Nonstandard Model

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders

“…Temporal logics in which one can assign a proper meaning to the association of statements about different grained temporal domains have been considered. See [8,12,18] for details. Nevertheless, it seems that the results concerning the issues of axiomatization/completeness and decidability/complexity presented in [3] and in this paper constitute the first steps towards a temporal logic based on different levels of abstraction.…”