22nd Annual Symposium on Foundations of Computer Science (Sfcs 1981) 1981
DOI: 10.1109/sfcs.1981.44
|View full text |Cite
|
Sign up to set email alerts
|

Temporal logic can be more expressive

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
229
0
12

Year Published

1990
1990
2006
2006

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 243 publications
(241 citation statements)
references
References 7 publications
0
229
0
12
Order By: Relevance
“…Other framework are certainly possible. One could also imagine using the same method with processes described by logical formulas, for instance temporal logic formulas [Pnu81], [EH86], [Wol83], [GS86].…”
Section: Conclusion and Comparison With Other Workmentioning
confidence: 99%
“…Other framework are certainly possible. One could also imagine using the same method with processes described by logical formulas, for instance temporal logic formulas [Pnu81], [EH86], [Wol83], [GS86].…”
Section: Conclusion and Comparison With Other Workmentioning
confidence: 99%
“…3. We show that the decidability result described above persists in a strong extension with a class of temporal operators defined by means of CQDD (see [BH99]) in a way analogous to Wolper's Extended temporal logic [Wol83].…”
Section: Introductionmentioning
confidence: 71%
“…Our use of CQDD is different and non-regular languages can be defined with CQDD. Moreover, the model-checking problem for LTL augmented with operators defined from CQDD is undecidable [Dem06] unlike the extension with regular languages [Wol83]. By contrast, we show that the model-checking problem for FOCTL (Pr)[n] extended with CQDD-based operators is decidable over ACS.…”
Section: Decidable Extension With Cqdd Patternsmentioning
confidence: 93%
See 2 more Smart Citations