48 citations · 241 across the 30 of their papers we have counts for
1 paper · 2 filters
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…