Fatemeh Seifan

12 papers A* 1B 3Journal 8
YearRankTypeTitle / Venue / Authors
2022 J jnl
Uniform Interpolation in Coalgebraic Modal Logic.
CoRR
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
2019 J jnl
Completeness for
Ann. Pure Appl. Log.
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2018 J jnl
Completeness for the modal
Theor. Comput. Sci.
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017 J jnl
An expressive completeness theorem for coalgebraic modal mu-calculi.
CoRR
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017 J jnl
An expressive completeness theorem for coalgebraic modal mu-calculi.
Log. Methods Comput. Sci.
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2017 B conf
Uniform Interpolation in Coalgebraic Modal Logic.
CALCO
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
2016 B conf
Completeness for Coalgebraic Fixpoint Logic.
CSL
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 J jnl
Expressiveness of the modal mu-calculus on monotone neighborhood structures.
CoRR
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 A* conf
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.
LICS
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 J jnl
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.
CoRR
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 B conf
Uniform Interpolation for Coalgebraic Fixpoint Logic.
CALCO
Johannes Marti, Fatemeh Seifan, Yde Venema
2015 J jnl
Uniform Interpolation for Coalgebraic Fixpoint Logic.
CoRR
Johannes Marti, Fatemeh Seifan, Yde Venema