Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 3
Number of items: 3
  • Open Access
    Menéndez Turata, G. (2024). Cyclic proof systems for modal fixpoint logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • 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
  • 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
Page of