|
|
VOLUME 3, ISSUE 1, PAPER 3
|
Expressiveness of Metric modalities for continuous time
|
©Yoram Hirshfeld, Tel Aviv University
©Alexander Rabinovich, Tel Aviv University
|
Abstract
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 finite temporal logic that can express all of them
over the real line, so that no finite metric temporal logic is expressively
complete.
|
Publication date: February 23, 2007
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-3(1:3)2007
Hit Counts: 4462 |
 Creative Commons | |
