Expressiveness of Metric modalities for continuous time

  title={Expressiveness of Metric modalities for continuous time},
  author={Yoram Hirshfeld and Alexander Moshe Rabinovich},
We prove a conjecture by A. Pnueli and strengthen it showing a sequence of \counting modalities" none of which is expressible in the temporal logic generated by the previous modalities, over the real line, or over the positive reals. Moreover, there is no nite temporal logic that can express all of them over the real line, so that no nite metric temporal logic is expressively complete. 

From This Paper

Topics from this paper.
22 Citations
18 References
Similar Papers

Similar Papers

Loading similar papers…