Iris van der Giessen

Available identifiers

zbMath Open van-der-giessen.irisMaRDI QIDQ1982007

List of research outcomes

Publication	Date of Publication	Type
Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation	2024-05-17	Paper
A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised	2023-09-01	Paper
Intuitionistic G\"odel-L\"ob logic, \`a la Simpson: labelled systems and birelational semantics	2023-09-01	Paper
Admissible rules for six intuitionistic modal logics	2023-02-15	Paper
Uniform interpolation via nested sequents	2022-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5067982	2022-04-04	Paper
Sequent calculi for intuitionistic Gödel-Löb logic	2021-09-07	Paper
Proof Theory for Intuitionistic Strong L\"ob Logic	2020-11-20	Paper
Strong Normalization for Truth Table Natural Deduction	2020-01-24	Paper
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation	N/A	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL	N/A	Paper

Research outcomes over time

This page was built for person: Iris van der Giessen