Iris van der Giessen

MaRDI QIDQ1982007zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics	2026-02-19	Paper
On the contingency of logic in possible world semantics Logica Universalis	2026-01-13	Paper
Uniform interpolation via nested sequents and hypersequents Journal of Logic and Computation	2025-09-30	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL	2025-01-31	Paper
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 Annals of Pure and Applied Logic	2023-02-15	Paper
Uniform interpolation via nested sequents (available as arXiv preprint)	2022-06-24	Paper
scientific article; zbMATH DE number 7503169 (Why is no real title available?)	2022-04-04	Paper
Sequent calculi for intuitionistic Gödel-Löb logic Notre Dame Journal of Formal Logic	2021-09-07	Paper
Proof Theory for Intuitionistic Strong L\"ob Logic	2020-11-20	Paper
Strong normalization for truth table natural deduction Fundamenta Informaticae	2020-01-24	Paper
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation (available as arXiv preprint)	N/A	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Iris van der Giessen