On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing

@inproceedings{Pandya2011OnEP,
  title={On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing},
  author={Paritosh K. Pandya and Simoni S. Shah},
  booktitle={CONCUR},
  year={2011}
}
Timed temporal logics exhibit a bewildering diversity of operators and the resulting decidability and expresiveness properties also vary considerably. We study the expressive powers of timed logics TPTL[U,S] and MTL[UI ,SI ] as well as their several fragments. Extending the LTL EF games of Etessami and Wilke, we defineMTL Ehrenfeucht-Fraisse games on a pair of timed words. Using the associated EF theorem we show that, expressively, the timed logicsBoundedMTL[UI ,SI ], MTL[FI ,PI ] and MITL[UI… CONTINUE READING