There was a similar density of honeydew threads on the flanks of the StArnaud Range and in southern Big Bush, and we suggest that the abundance of honey-dew threads need not be a consideration in deciding which of the two areas is selected as a "mainland island". The abundance of honeydew threads/ha was highly variable, particularly along the St Arnaud Range, and this area tended to have more h...

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 whether propositional quantification refers to the Kripke structure or to its unwinding tree), we study its expressiveness (showing in particular that QCTL coincides with Monadic Second-Order Logic for both semantics)...