8 citations · 24 across the 10 of their papers we have counts for
1 paper · 2 filters
Simon Kramer
We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counter…