<p>Look at <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2200" rel="nofollow noreferrer">this paper</a>:</p>
<p>E. Chang, Z. Manna, A. Pnueli.<br />
&quot;Characterization of Temporal Property Classes&quot;</p>
<p>The proof of Theorem 8 at page 8 says: &quot;We will outline the proof which appears in the full version of this paper&quot;.</p>
<p>However I cannot find any &quot;full version&quot; of the paper on any search engine.</p>
<p>Do you know which is the full version of the paper where I can find the full proof of this theorem?</p>

CC BY-SA 4.0
2021-06-07T15:04:15.527Z
Well, wouldn't it better to ask the authors?
Bartosz Bednarczyk
CC BY-SA 4.0
2021-06-07T15:15:54.973Z
Hm.. Good point :)
Nicola Gigante
CC BY-SA 4.0
2021-06-07T15:41:16.320Z
But, Manna died last year. Pnueli died in 2009, and I don’t know about Chang.
Nicola Gigante
CC BY-SA 4.0
2021-06-07T16:08:06.370Z
Ah, I see. Now it makes more sense. I scanned the list of different versions of the paper here: https://scholar.google.com/scholar?start=0&hl=pl&as_sdt=0,5&cluster=8399949500321300291 but I can't see anything useful. My guess is that they wanted to write a full version of the paper but they were busy with other things and finally forgot about it.
Bartosz Bednarczyk
CC BY-SA 4.0
2021-06-07T16:14:59.043Z
I'm afraid you're right... :/
Nicola Gigante
<reference-request><temporal-logic><linear-temporal-logic>
Full version of the paper "Characterization of Temporal Property Classes"
Nicola Gigante
# Full version of the paper "Characterization of Temporal Property Classes"

(Asked by: username_0 on 2021-06-07)

Look at [this paper](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2200):

E. Chang, Z. Manna, A. Pnueli.  
"Characterization of Temporal Property Classes"

The proof of Theorem 8 at page 8 says: "We will outline the proof which appears in the full version of this paper".

However I cannot find any "full version" of the paper on any search engine.

Do you know which is the full version of the paper where I can find the full proof of this theorem?

**Tags:** reference-request, temporal-logic, linear-temporal-logic
> **Comments:**
> **username_1**: Well, wouldn't it better to ask the authors?  
> **username_0**: Hm.. Good point :)  
> **username_0**: But, Manna died last year. Pnueli died in 2009, and I don’t know about Chang.  
> **username_1**: Ah, I see. Now it makes more sense. I scanned the list of different versions of the paper here: https://scholar.google.com/scholar?start=0&hl=pl&as_sdt=0,5&cluster=8399949500321300291 but I can't see anything useful. My guess is that they wanted to write a full version of the paper but they were busy with other things and finally forgot about it.  
> **username_0**: I'm afraid you're right... :/  

---

## 0 answers

