1 paper · 1 filter
Dan Hernest, Trifon Trifonov
We adapt our light Dialectica interpretation to usual and light modal formulas (with universal quantification on boolean and natural variables) and prove it sound for a non-standar…