3 citations · 4 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
The Limit of Recursion in State-based Systems
Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh
We prove that omega^2 strictly bounds the iterations required for modal definable functions to reach a fixed point across all countable structures. The result corrects and extends…
cs.LO2025
Cut elimination for the alternation-free modal mu-calculus
Bahareh Afshari, Johannes Kloibhofer
We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs…