Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 18
Number of items: 18
  • Open Access
    Enqvist, S., & Sourabh, S. (2018). Bisimulations for coalgebras on Stone spaces. Journal of Logic and Computation, 28(6), 991-1010. https://doi.org/10.1093/logcom/exy001
  • van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A propositional dynamic logic for instantial neighborhood models. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 137-150). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_10
  • Open Access
    van Benthem, J., Bezhanishvili, N., Enqvist, S., & Yu, J. (2017). Instantial neighbourhood logic. Review of Symbolic Logic, 10(1), 116-144. https://doi.org/10.1017/S1755020316000447
  • 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
    van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A new game equivalence and its modal logic. Electronic Proceedings in Theoretical Computer Science, 251, 57-74. https://doi.org/10.4204/EPTCS.251.5
  • 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
    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 2 of 2