Similar Items: Generic Modal Cut Elimination Applied to Conditional Logics
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- The Structure of Differential Invariants and Differential Cut Elimination
- Inducing syntactic cut-elimination for indexed nested sequents
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Modal Logics of Topological Relations