Manfred Droste

Weighted Linear Dynamic Logic

2016 · Electronic Proceedings in Theoretical Computer Science

We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Sch\"utzenberger …