Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • Open Access
    Seifan, F. (2024). Coalgebraic fixpoint logic: Expressivity and completeness results. [Thesis, fully internal, Universiteit van Amsterdam].
  • Enqvist, S., Seifan, F., & Venema, Y. (2019). Completeness for μ-calculi: A coalgebraic approach. Annals of Pure and Applied Logic, 170(5), 578-641. https://doi.org/10.1016/j.apal.2018.12.004
  • Enqvist, S., Seifan, F., & Venema, Y. (2018). Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics. Theoretical Computer Science, 727, 37-100. https://doi.org/10.1016/j.tcs.2018.03.001
  • Open Access
    Enqvist, S., Seifan, F., & Venema, Y. (2017). An expressive completeness theorem for coalgebraic modal µ-calculi. Logical Methods in Computer Science, 13(2), Article 14. https://doi.org/10.23638/LMCS-13(2:14)2017
  • Open Access
    Enqvist, S., Seifan, F., & Venema, Y. (2016). Completeness for Coalgebraic Fixpoint Logic. In L. Regnier, & J.-M. Talbot (Eds.), Computer Science Logic : CSL 2016, August 29 to September 1, 2016, Marseille, France Article 7 (Leibniz International Proceedings in Informatics; Vol. 62). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2016.7
  • Open Access
    Marti, J., Seifan, F., & Venema, Y. (2015). Uniform Interpolation for Coalgebraic Fixpoint Logic. In L. S. Moss, & P. Sobociński (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp. 238-252). (Leibniz International Proceedings in Informatics; Vol. 35). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2015.238
  • Open Access
    Enqvist, S., Seifan, F., & Venema, Y. (2015). Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. In Proceedings, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS 2015: 6-10 July 2015, Kyoto, Japan (pp. 353-365). IEEE Computer Society. https://doi.org/10.1109/LICS.2015.41
Page of