Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 4
Number of items: 4
  • Open Access
    Rooduijn, J. M. W. (2024). Fragments and frame classes: Towards a uniform proof theory for modal fixed point logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Rooduijn, J., & Venema, Y. (2023). Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. In H. H. Hansen, A. Scedrov, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings (pp. 318-335). (Lecture Notes in Computer Science; Vol. 13923), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-39784-4_20, https://doi.org/10.48550/arXiv.2307.01773
  • Rooduijn, J. (2021). Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 354-370). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_21
  • Open Access
    Rooduijn, J., & Venema, Y. (2021). Filtration and canonical completeness for continuous modal µ-calculi. Electronic Proceedings in Theoretical Computer Science, 346, 211-226. https://doi.org/10.4204/EPTCS.346.14
Page of