activity
20122017
most citedA Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)

8 citations · 24 across the 10 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2013★ 2 cited

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)

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…

math.LO2012★ 5 cited

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)

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…