Characterizations of Weighted First-Order Logics over Semirings

摘要

We generalize, in the weighted setup over idempotent, zero-divisor free and totally commutative complete semirings, the expressive equivalence of linear temporal logic, first-order logic, star-free expressions and counter-free Biichi automata.