3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2022
Uniform Interpolation in Coalgebraic Modal Logic
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
A logic has uniform interpolation if its formulas can be projected down to given subsignatures, preserving all logical consequences that do not mention the removed symbols; the wea…
cs.LO2015★ 1 cited
Uniform Interpolation for Coalgebraic Fixpoint Logic
Johannes Marti, Fatemeh Seifan, Yde Venema
We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the…
cs.LO2015★ 3 cited
Expressiveness of the modal mu-calculus on monotone neighborhood structures
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus.…