Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 3
Number of items: 3
  • Open Access
    van der Giessen, I., & Shillito, I. (2026). Uniform Interpolation with Constructive Diamond. In A. Biere, C. Lutz, & S. Negri (Eds.), Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026 : proceedings (Vol. I, pp. 357-376). (Lecture Notes in Computer Science; Vol. 16688), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-032-32589-1_22
  • 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
    van der Giessen, I., Joosten, J. J., Mayaux, P., & Navarro Arroyo, V. (2025). On the Contingency of Logic in Possible World Semantics. Logica Universalis, 19(4), 721–737. https://doi.org/10.1007/s11787-025-00400-7
Page of