16 citations · 39 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
The Power-Set Construction for Tree Algebras
Achim Blumensath
We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, i…
cs.LO2022
-Forest Algebras and Temporal Logics
Achim Blumensath, Jakub Lédl
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 fra…