Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 11
Number of items: 11
  • Open Access
    Kloibhofer, J. (2026). Cycles with annotations: Non-wellfounded proof theory of modal fixpoint logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Afshari, B., Enqvist, S., Leigh, G. E., Marti, J., & Venema, Y. (2025). Proof Systems for two-Way Modal μ-Calculus. Journal of Symbolic Logic, 90(3), 1211-1260. https://doi.org/10.1017/jsl.2023.60
  • Open Access
    Menéndez Turata, G. (2024). Cyclic proof systems for modal fixpoint logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Afshari, B., Enqvist, S., & Leigh, G. E. (2024). Cyclic proofs for the first-order μ-calculus. Logic Journal of the IGPL, 32(1), 1–34. https://doi.org/10.1093/jigpal/jzac053
  • Open Access
    Afshari, B., Leigh, G. E., & Menéndez Turata, G. (2023). A Cyclic Proof System for Full Computation Tree Logic. In B. Klin, & E. Pimentel (Eds.), 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland Article 5 (Leibniz International Proceedings in Informatics; Vol. 252). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2023.5
  • Open Access
    Afshari, B., & Wehr, D. (2023). Exact bounds for acyclic higher-order recursion schemes. Information and Computation, 290, Article 104982. https://doi.org/10.1016/j.ic.2022.104982
  • Open Access
    Afshari, B., & Leigh, G. E. (2022). Lyndon interpolation for modal μ-calculus. In A. Özgün, & Y. Zinova (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp. 197–213). (Lecture Notes in Computer Science; Vol. 13206), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-030-98479-3_10
  • Afshari, B., & Wehr, D. (2022). Abstract Cyclic Proofs. In A. Ciabattoni, E. Pimentel, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings (pp. 309–325). (Lecture Notes in Computer Science; Vol. 13468), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-15298-6_20
  • Afshari, B., Leigh, G. E., & Menéndez Turata, G. (2021). Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. 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. 335-353). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_20
  • Open Access
    Afshari, B., Hetzl, S., & Leigh, G. E. (2020). Herbrand's theorem as higher order recursion. Annals of Pure and Applied Logic, 171(6), Article 102792. https://doi.org/10.1016/j.apal.2020.102792
Page 1 of 2