Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Milanese, G. C., & Venema, Y. (2019). Closure ordinals for the two-way μ-calculus. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 498-515). (Lecture Notes in Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_30
  • Open Access
    Enqvist, S., & Venema, Y. (2019). Disjunctive bases: normal forms and model theory for modal logics. Logical Methods in Computer Science, 15(1), Article 30. https://doi.org/10.23638/LMCS-15(1:30)2019
  • Open Access
    Ciancia, V., & Venema, Y. (2019). Ω-Automata: A Coalgebraic Perspective on Regular ω-Languages. In M. Roggenbach, & A. Sokolova (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom Article 5 (Leibniz International Proceedings in Informatics; Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2019.5
  • Open Access
    Bezhanishvili, N., de Groot, J., & Venema, Y. (2019). Coalgebraic Geometric Logic. In M. Roggenbach, & A. Sokolova (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom Article 7 (Leibniz International Proceedings in Informatics; Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2019.7
  • Open Access
    Lauridsen, F. M. (2019). Cuts and completions: Algebraic aspects of structural proof theory. [Thesis, fully internal, Universiteit van Amsterdam].
  • Hansen, H. H., Kupke, C., Marti, J., & Venema, Y. (2018). Parity Games and Automata for Game Logic. In A. Madeira, & M. Benevides (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp. 115-132). (Lecture Notes in Computer Science; Vol. 10669). Springer. https://doi.org/10.1007/978-3-319-73579-5_8
  • Schröder, L., & Venema, Y. (2018). Completeness of flat coalgebraic fixpoint logics. ACM Transactions on Computational Logic, 19(1), Article 4. https://doi.org/10.1145/3157055
  • 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
    Fontaine, G., & Venema, Y. (2018). Some model theory for the modal μ-calculus: Syntactic characterisations of semantic properties. Logical Methods in Computer Science, 14(1), Article 14. https://doi.org/10.23638/LMCS-14(1:14)2018
  • Open Access
    Ilin, J. (2018). Filtration revisited: Lattices of stable non-classical logics. [Thesis, fully internal, Universiteit van Amsterdam].
Page 3 of 13