8 citations · 24 across the 10 of their papers we have counts for
1 paper · 2 filters
Simon Kramer
We produce a decidable super-intuitionistic normal modal logic of internalised intuitionistic (and thus disjunctive and monotonic) interactive proofs (LIiP) from an existing classi…