4 papers · 1 filter
Proceedings of the Sixteenth International Conference on Advances in Modal Logic
Marta BÃlková, Malvin Gattinger, Iris van der Giessen +2
Advances in Modal Logic (AiML) was founded in 1995 as an initiative devoted to presenting an up-to-date picture of research in modal logic and its many applications. It combines a…
Uniform interpolation with constructive diamond
Iris van der Giessen, Ian Shillito
Uniform interpolation is a strong form of interpolation providing an interpretation of propositional quantifiers within a propositional logic. Pitts' seminal work establishes this…
Interpolation in Proof Theory
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
This chapter provides a comprehensive overview of proof-theoretic methods for establishing interpolation properties across a range of logics, including classical, intuitionistic, m…
Mechanised uniform interpolation for modal logics K, GL, and iSL
Hugo Férée, Iris van der Giessen, Sam van Gool +1
The uniform interpolation property in a given logic can be understood as the definability of propositional quantifiers. We mechanise the computation of these quantifiers and prove…