4 papers
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…
On the Contingency of Logic in Possible World Semantics
Iris van der Giessen, Joost J. Joosten, Paul Mayaux +1
This paper investigates the contingency of logic within the framework of possible world semantics. Possible world semantics captures the meaning of necessitation, i.e., a statement…