Abstract | ||
---|---|---|
We transfer the concept of robust interpretation from arithmetic first-order theories to metric-time temporal logics. The idea is that the interpretation of a formula is robust iff its truth value does not change under small variation of the constants in the formula. Exemplifying this on Duration Calculus (DC), our findings are that the robust interpretation of DC is equivalent to a multi-valued interpretation that uses the real numbers as semantic domain and assigns Lipschitz-continuous interpretations to all operators of DC. Furthermore, this continuity permits approximation between discrete and dense time, thus allowing exploitation of discrete-time (semi-)decision procedures on dense-time properties. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11560647_17 | nordic workshop programming theory |
Keywords | Field | DocType |
arithmetic first-order theory,lipschitz-continuous interpretation,robust interpretation,real number,decision procedure,dense time,duration calculus,multi-valued interpretation,dense-time property,robust iff,lipschitz continuity,first order,temporal logic,discrete time | Discrete mathematics,Semantic domain,Truth value,Operator (computer programming),Discrete time and continuous time,Temporal logic,Real number,Calculus,Duration calculus,Semantics,Mathematics | Conference |
Volume | ISSN | ISBN |
3722 | 0302-9743 | 3-540-29107-5 |
Citations | PageRank | References |
5 | 0.49 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Fränzle | 1 | 786 | 61.58 |
Michael r. Hansen | 2 | 543 | 43.29 |
MR Hansen | 3 | 5 | 0.49 |