3 papers
cs.LO2026
Interpolation in Classical Propositional Logic
Patrick Koopmann, Christoph Wernhard, Frank Wolter
We introduce Craig interpolation and related notions such as uniform interpolation, Beth definability, and theory decomposition in classical propositional logic. We present four ap…
cs.LO2026
The Size of Interpolants in Modal Logics
Balder ten Cate, Louwe Kuijer, Frank Wolter
We start a systematic investigation of the size of Craig interpolants, uniform interpolants, and strongest implicates for (quasi-)normal modal logics. Our main upper bound states t…
cs.LO2025
Computation of Interpolants for Description Logic Concepts in Hard Cases
Jean Christoph Jung, JÄdrzej KoÅodziejski, Frank Wolter
While the computation of Craig interpolants for description logics (DLs) with the Craig Interpolation Property (CIP) is well understood, very little is known about the computation…