<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2006-03-01 08:48:04Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic Proof theory Mathematical logic |
Add to Reading List |
A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006
