27 citations · 49 across the 15 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 27 cited
On Nested Sequents for Constructive Modal Logics
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,…
cs.LO2015★ 6 cited
On the relative proof complexity of deep inference via atomic flows
Anupam Das
We consider the proof complexity of the minimal complete fragment, KS, of standard deep inference systems for propositional logic. To examine the size of proofs we employ atomic fl…