# Computation tree logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- CSL
- 2010

Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standardâ€¦Â (More)

Is this relevant?

2009

2009

- LICS
- 2009

In modal logics, graded (world) modalities have been deeply investigated as a useful framework for generalizing standardâ€¦Â (More)

Is this relevant?

2009

2009

- New Generation Computing
- 2009

It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning thanâ€¦Â (More)

Is this relevant?

2007

2007

- LPAR
- 2007

We extend Schwendimannâ€™s single-pass decision procedure for propositional linear temporal logic (PLTL) to give a single-passâ€¦Â (More)

Is this relevant?

2007

2007

- Logical Methods in Computer Science
- 2007

We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Treeâ€¦Â (More)

Is this relevant?

2006

2006

- IEEE John Vincent Atanasoff Internationalâ€¦
- 2006

The authors present a natural deduction calculus for the computation tree logic, CTL, defined with the full set of classical andâ€¦Â (More)

Is this relevant?

2006

2006

- CONCUR
- 2006

Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities overâ€¦Â (More)

Is this relevant?

2002

2002

- Inf. Process. Lett.
- 2002

Computation Tree Logic (CTL) is one of the most syntactically elegant and computationally attractive temporal logics forâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- J. Symb. Log.
- 2001

We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a longâ€¦Â (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- ICALP
- 1987

In this paper we study the expressive power of the full branching time logic CTL* (of Clarke, Emerson, Halpern and Sistla), byâ€¦Â (More)

Is this relevant?