Skip to search formSkip to main contentSkip to account menu

CTL*

Known as: CTL Star 
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Atomic formulaComputation tree logicComputational complexity theoryContext-free grammar

Broader (2)

Logic in computer scienceTemporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Electrowetting display pixels fabricated by nanoimprint lithography
Electrowetting displays (EWD) is a novel technology, based on the variation in coverage of a colored oil film in pixels via… 
2012
2012
Vérification Formelle des Processus Workflow Collaboratifs
In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In… 
2009
2009
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL
We present TCTLK, a continuous-time variant of the Computational Tree Logic with knowledge operators, generalizing both TCTL, the… 
2008
2008
Cancer: New target for tumour immunotherapy
Strategies to vaccinate cancer patients against their own tumour cells have been pursued for many years, albeit with limited… 
2006
2006
A Tableau for Bundled CTL
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional… 
2002
2002
El libro y los libreros en Córdoba en el tránsito a la Edad Moderna
E ! libro rcOcja el quehacer culiural del hombre, en su doble condición de objeto malerial y como deposilario del pensamiento, de… 
2001
2001
Forest fuel reduction through energy wood production using a small chipper/CTL harvesting system
In the summer of 2000, fire destroyed millions of acres of forest across the United States. This study investigates the… 
1997
1997
Universitt at Augsburg Modal and Temporal Operators on Partial Orders Modal and Temporal Operators on Partial Orders
We generalize the operators of classical linear time temporal logic to partial orders, such as the ones used in domain theory… 
1993
1993
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
The framework underlying CTL* is extended in order to include past operators Recent developments in areas related to concurrent… 
1987
1987
NEC v. Intel: Will Hardware Be Drawn into the Black Hole of Copyright Editors'