Decidability results for metric and layered temporal logics

Abstract

We study the decidabilite logics we consider are ts, and they allow one to“natural scale” in any come interactions between dier language combining opion, together with the uss, is considered, and the s shown to be decidable.