2016
DOI: 10.1007/978-3-319-48758-8_14
|View full text |Cite
|
Sign up to set email alerts
|

Prompt Interval Temporal Logic

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
4
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
3
1

Relationship

2
2

Authors

Journals

citations
Cited by 4 publications
(4 citation statements)
references
References 20 publications
0
4
0
Order By: Relevance
“…Roughly speaking, PROMPT-LTL extends LTL with the prompteventually operator, which states that an event will happen within the next b time-units, b being an unknown, constant bound. An analogous extension has been proposed for the propositional interval logic of temporal neighborhood PNL in [13].…”
Section: Introductionmentioning
confidence: 99%
“…Roughly speaking, PROMPT-LTL extends LTL with the prompteventually operator, which states that an event will happen within the next b time-units, b being an unknown, constant bound. An analogous extension has been proposed for the propositional interval logic of temporal neighborhood PNL in [13].…”
Section: Introductionmentioning
confidence: 99%
“…The elegance and expressive power of HS have attracted attention of the temporal and modal communities, as well as many other areas of computer science, AI, philosophy and linguistics, e.g., [Allen 1984;Cau et al 2002;Zhou and Hansen 2004;Cimatti et al 2015;Della Monica et al 2011;Pratt-Hartmann 2005]. However, promising applications have been hampered by the fact, already discovered by Halpern and Shoham [1991], that HS is highly undecidable (for example, validity over Z and R is Π 1 1 -hard).…”
Section: Introductionmentioning
confidence: 99%
“…Roughly speaking, PROMPT-LTL extends LTL with the prompt-eventually operator, which states that an event will happen within the next b time-units, b being an unknown, constant bound. An analogous extension has been recently proposed for the propositional interval logic of temporal neighborhood PNL [8].…”
Section: Introductionmentioning
confidence: 99%