1 citations · 1 across the 2 of their papers we have counts for
2 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
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. Similar to wel…