33 citations · 87 across the 15 of their papers we have counts for
1 paper · 1 filter
Lutz Strassburger, Anupam Das, Ryuta Arisaka
We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b,…