Fatemeh Seifan

According to our database, Fatemeh Seifan authored at least 8 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Completeness for <i>μ</i>-calculi: A coalgebraic approach.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Ann. Pure Appl. Log., 2019

2018

Completeness for the modal <i>μ</i>-calculus: Separating the combinatorics from the dynamics.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Theor. Comput. Sci., 2018

2017

An expressive completeness theorem for coalgebraic modal mu-calculi.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Log. Methods Comput. Sci., 2017

Uniform Interpolation in Coalgebraic Modal Logic.

Fatemeh Seifan, Lutz Schröder, Dirk Pattinson

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Completeness for Coalgebraic Fixpoint Logic.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

Expressiveness of the modal mu-calculus on monotone neighborhood structures.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

CoRR, 2015

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Uniform Interpolation for Coalgebraic Fixpoint Logic.

Johannes Marti, Fatemeh Seifan, Yde Venema

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015