Uniform Interpolation and Admissible Rules: Proof-theoretic investigations into (intuitionistic) modal logics

Research output: Thesis › Doctoral Thesis

Original language	English
Awarding Institution	Utrecht University
Supervisors/Advisors	Iemhoff, Rosalie, Supervisor, External person Bezhanishvili, Nick, Supervisor, External person
Award date	2 Nov 2022
Publisher	Utrecht University
Print ISBNs	9789493253025
DOIs	https://doi.org/10.33540/1486
Publication status	Published - 2022

Access to Document

@phdthesis{a53d7d727c254f88a1534cbc0011be9d,

title = "Uniform Interpolation and Admissible Rules: Proof-theoretic investigations into (intuitionistic) modal logics",

author = "{van der Giessen}, Iris",

year = "2022",

doi = "10.33540/1486",

language = "English",

isbn = "9789493253025",

series = "Quaestiones Infinitae",

publisher = "Utrecht University",

school = "Utrecht University",

}