Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., & Venema, Y. (2017). Irreducible equivalence relations, Gleason spaces, and de Vries duality. Applied Categorical Structures, 25(3), 381-401. https://doi.org/10.1007/s10485-016-9434-2
  • Open Access
    Enqvist, S., & Venema, Y. (2017). Disjunctive Bases: Normal Forms for Modal Logics. In F. Bonchi, & B. König (Eds.), 7th Conference on Algebra and Coalgebra in Computer Science: CALCO 2017, June 14-16, 2017, Ljubljana, Slovenia Article 11 (Leibniz International Proceedings in Informatics; Vol. 72). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2017.11
  • 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
  • Marti, J., & Venema, Y. (2015). Lax Extensions of Coalgebra Functors and Their Logic. Journal of Computer and System Sciences, 81(5), 880-900. https://doi.org/10.1016/j.jcss.2014.12.006
  • 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
  • Open Access
    Sourabh, S. (2015). Correspondence and canonicity in non-classical logic. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Carreiro, F. M. (2015). Fragments of fixpoint logics: Automata and expressiveness. [Thesis, fully internal, Universiteit van Amsterdam].
  • Bílková, M., Palmigiano, A., & Venema, Y. (2014). Proof systems for Moss’ coalgebraic logic. Theoretical Computer Science, 549, 36-60. https://doi.org/10.1016/j.tcs.2014.06.018
Page 4 of 13