Seifan, Fatemeh

1. Expressiveness of the modal mu-calculus on monotone neighborhood structures
   2015/02/27 by Sebastian Enqvist, Fatemeh Seifan, Enqvist, Sebastian +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
2. Uniform Interpolation in Coalgebraic Modal Logic
   2022/05/01 by Fatemeh Seifan, Lutz Schröder, Seifan, Fatemeh +3 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic