research
∙
07/23/2020
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
We extend to natural deduction the approach of Linear Nested Sequents an...
research
∙
01/07/2020
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
Extending and generalizing the approach of 2-sequents (Masini, 1992), we...
research
∙
03/14/2019