×

zbMATH — the first resource for mathematics

The true bisimulations for ‘since’ and ‘until’. (English) Zbl 1035.03009
A new notion of equivalence between temporal models, called S-similarity, is proposed and it is argued that it is the appropriate notion of bisimilarity for temporal models with the ‘since’ and ‘until’ operators. The main results provide a semantic characterization of the first-order formulas that are equivalent to a temporal formula.
MSC:
03B44 Temporal logic
PDF BibTeX XML Cite
Full Text: DOI