论文标题
$ω$ - 福特代数和时间逻辑
$ω$-Forest Algebras and Temporal Logics
论文作者
论文摘要
我们使用[4]中引入的无限树的语言使用代数框架来得出各种时间逻辑的有效特征，尤其是逻辑EF（CTL的片段）及其计数变体CEF。
We use the algebraic framework for languages of infinite trees introduced in [4] to derive effective characterisations of various temporal logics, in particular the logic EF (a fragment of CTL) and its counting variant cEF.
