3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Willem Hagemann
We introduce the logic QKSD which is a normal multi-modal logic over finitely many modalities that additionally supports bounded quantification of modalities. An important feature…