1 citations · 1 across the 2 of their papers we have counts for
4 papers
-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…
Bisimulation Invariant Monadic-Second Order Logic in the Finite
Achim Blumensath, Felix Wolf
We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expr…
Branch-Continuous Tree Algebras
Achim Blumensath
We study a class of algebras that can be used as recognisers for regular languages of infinite trees.
A Compositional Coalgebraic Semantics of Strategic Games
Achim Blumensath, Viktor Winschel
We provide a compositional coalgebraic semantics for strategic games. In our framework, like in the semantics of functional programming languages, coalgebras represent the observab…