2 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Nick Bezhanishvili, Nick Galatos, Luca Spada
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionisti…