Iris van der Giessen

View Scopus Profile

Research activity per year

5 Conference contribution
3 Article
1 Special issue
1 Doctoral Thesis

10 results

2024
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 proceeding › Conference contribution

Open Access
File
73 Downloads (Pure)
2023

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 journal › Article › peer-review

Open Access
File

36 Downloads (Pure)
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised
Shillito, I., van der Giessen, I., Goré, R. & Iemhoff, R., 2023, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. Ramanayake, R. & Urban, J. (eds.). p. 73-93 (Lecture Notes in Computer Science; vol. 14278).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
Extensions of K5: proof theory and uniform Lyndon interpolation
van der Giessen, I., Jalali, R. & Kuznets, R., 2023, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. Ramanayake, R. & Urban, J. (eds.). p. 263-282 (Lecture Notes in Computer Science; vol. 14278).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
2022

Uniform Interpolation and Admissible Rules: Proof-theoretic investigations into (intuitionistic) modal logics
van der Giessen, I., 2022, Utrecht University.
Research output: Thesis › Doctoral Thesis

Open Access
2021

Exploring a result by Ghilardi: projective formulas vs. the extension property
van der Giessen, I., Jul 2021, The Logica Yearbook 2020. Blicha, M. & Sedlar, I. (eds.). College Publications, p. 97-114 18 p. (The Logica Yearbook).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

8 Downloads (Pure)
Sequent calculi for intuitionistic Gödel-Löb logic
van der Giessen, I. & Iemhoff, R., 9 Jun 2021, In: Notre Dame Journal of Formal Logic. 62, 2, p. 221-246 26 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
5 Downloads (Pure)
Uniform interpolation via nested sequents
van der Giessen, I., Jalali, R. & Kuznets, R., 6 Oct 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer, p. 337-354 18 p. (Lecture Notes in Computer Science; vol. 13038).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
3 Downloads (Pure)
2020

Proof theory for intuitionistic strong Löb logic
van der Giessen, I. & Iemhoff, R., 2020, (Accepted/In press) In: Special Volume of the Workshop Proofs! held in Paris in 2017.
Research output: Contribution to journal › Special issue › peer-review
2019

Strong normalization for truth table natural deduction
van der Giessen, I., Geuvers, H. & Hurkens, T., 2019, In: Fundamenta Informaticae. 170, 1-3, p. 139-176
Research output: Contribution to journal › Article › peer-review

Open Access

Iris van der Giessen

Research output

Search results