Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Computation tree logic

Known as: CTL, Computational tree logic 
Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators… 
  • figure 1
  • figure 2
2009
2009
In modal logics, graded (world) modalities have been deeply investigated as a useful framework for generalizing standard… 
  • figure 2
  • figure 4
2009
2009
It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than… 
  • figure 1
2009
2009
In modal logics, graded (world) modalities have been deeply investigated as a useful framework for generalizing standard… 
2007
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability… 
2006
2006
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over… 
  • figure 1
  • figure 2
Review
2004
Review
2004
In this survey we motivate, define and explain model checking of probabilistic deterministic and nondeterministic systems using… 
2002
2002
Computation Tree Logic (CTL) is one of the most syntactically elegant and computationally attractive temporal logics for… 
  • figure 1
  • figure 2
Highly Cited
2001
Highly Cited
2001
Abstract We give a sound and complete axiomatization for the full computation tree logic. CTL*, of R-generable models. This… 
1996
1996
We present a sound and complete axiomatisation for extended computation tree logic. This language extends the standard…