A framework for decidable metrical logics

摘要

We propose a framework for defining decidable temporal logics.It is strong enough to define in it all the decidable temporal logics that we found in the literature.We use as semantics the standard model of the positive real line and we use robust logical notions and tecfhniques.