40 citations · 40 across the 1 of their papers we have counts for
1 paper
François Laroussinie, Nicolas Markey
While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending…