Structure vs. Invariants in Proofs (StrIP)

Project Details

Short titleStructure vs. Invariants in Proofs (StrIP)
StatusFinished
Effective start/end date1/05/2031/07/24

Funding

  • Medical Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics

    Das, A., van der Giessen, I. & Marin, S., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl, p. 22:1-22:18 18 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    143 Downloads (Pure)
  • Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL

    Férée, H., van der Giessen, I., van Gool, S. & Shillito, I., 2 Jul 2024, Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. 2. p. 43-60 18 p. (Lecture Notes in Computer Science; vol. 14740).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    82 Downloads (Pure)
  • Admissible rules for six intuitionistic modal logics

    van der Giessen, I., 1 Apr 2023, In: Annals of Pure and Applied Logic. 174, 4, 34 p., 103233.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    126 Downloads (Pure)