Expressiveness of Metric modalities for continuous time

Yoram Hirshfeld Alexander Rabinovich Expressiveness of Metric modalities for continuous time http://arxiv.org/abs/cs/0611119 2006 CoRR abs/cs/0611119 db/journals/corr/corr0611.html#abs-cs-0611119 informal publication