Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • Open Access
    Delkos, A., & Girlando, M. (2026). A Significance-Based Account of Ceteris paribus Counterfactuals. In D. Kozen, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025 : proceedings (pp. 309-325). (Lecture Notes in Computer Science; Vol. 15942). Springer. https://doi.org/10.48550/arXiv.2312.15209, https://doi.org/10.1007/978-3-031-99536-1_19
  • Open Access
    Dalmonte, T., & Girlando, M. (2026). A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. In G. L. Pozzato, & T. Uustalu (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025 : proceedings (pp. 354-373). (Lecture Notes in Computer Science; Vol. 15980), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-032-06085-3_19, https://doi.org/10.48550/arXiv.2507.02767
  • Open Access
    Bílková, M., Gattinger, M., van der Giessen, I., Girlando, M., & Wang, Y. (2026). Preface. Electronic Proceedings in Theoretical Computer Science, 447. https://doi.org/10.4204/EPTCS.447
  • Open Access
    Yang, X., Gattinger, M., Girlando, M., & Koopmann, P. (2026). GenZ: A Generic Sequent Calculus Prover using the Zipper. In M. Hajdu, C. Nalon, & M. Suda (Eds.), Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR) 2026: co-located with the Federated Logic Conference 2026 (FLoC 2026) : Lisbon, Portugal, July 25, 2026 Article 4 (CEUR Workshop Proceedings; Vol. 4241). CEUR-WS. https://ceur-ws.org/Vol-4241/paper4.pdf
  • Open Access
    Lyon, T. S., Ciabattoni, A., Galmiche, D., Girlando, M., Larchey-Wendling, D., Méry, D., Olivetti, N., & Ramanayake, R. (2025). Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. Bulletin of the Section of Logic, 54(1), 59-151. https://doi.org/10.18778/0138-0680.2025.02
  • Open Access
    Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2024). A simple loopcheck for intuitionistic K. In G. Metcalfe, T. Studer, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024 : proceedings (pp. 47-63). (Lecture Notes in Computer Science; Vol. 14672), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-62687-6_4
  • Open Access
    Das, A., & Girlando, M. (2023). Cyclic Hypersequent System for Transitive Closure Logic. Journal of Automated Reasoning, 67(3), Article 27. https://doi.org/10.1007/s10817-023-09675-1
Page of