8 citations · 15 across the 14 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 8 cited
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Alwen Tiu, Egor Ianovski, Rajeev Gore
A grammar logic refers to an extension to the multi-modal logic K in which the modal axioms are generated from a formal grammar. We consider a proof theory, in nested sequent calcu…
cs.GT2012★ 1 cited
Cake Cutting Mechanisms
Egor Ianovski
We examine the history of cake cutting mechanisms and discuss the efficiency of their allocations. In the case of piecewise uniform preferences, we define a game that in the presen…