48 citations · 221 across the 36 of their papers we have counts for
1 paper · 1 filter
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…