Abstract
We present a cut-free sequent calculus that can internalize its own
proofs, providing a new justification system for modal logic.
proofs, providing a new justification system for modal logic.
| Original language | English |
|---|---|
| Publication status | Published - 2011 |
| Event | The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - Bern, Switzerland Duration: 4 Jul 2011 → 7 Jul 2011 Conference number: 20 https://www.tableaux11.unibe.ch/index.php |
Conference
| Conference | The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |
|---|---|
| Abbreviated title | Tableaux 2011 |
| Country/Territory | Switzerland |
| City | Bern |
| Period | 4/07/11 → 7/07/11 |
| Internet address |