We will discuss various issues related the notion of time granularity. We will start by showing how such notion can be used to provide a common framework to (metric) tense logics and (real-time) temporal logics of programs. Then we will present a few logics allowing to specify the timed behavior of a system at different levels of granularity. For such logics decidability results and problems, together with techniques for their study, will be presented. We will conclude with a recent proposal for a modal counterpart of time granularity operators.
The way to go: Multi-level temporal logics
PERON, ADRIANO;
1999-01-01
Abstract
We will discuss various issues related the notion of time granularity. We will start by showing how such notion can be used to provide a common framework to (metric) tense logics and (real-time) temporal logics of programs. Then we will present a few logics allowing to specify the timed behavior of a system at different levels of granularity. For such logics decidability results and problems, together with techniques for their study, will be presented. We will conclude with a recent proposal for a modal counterpart of time granularity operators.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.