1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.LO2025
Uniform Interpolation
Sam van Gool
Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that…
cs.LO2024★ 1 cited
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…
cs.LO2023
Deciding Equations in the Time Warp Algebra
Sam van Gool, Adrien Guatto, George Metcalfe +1
Join-preserving maps on the discrete time scale , referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in…