From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

Simone Martini, Andrea Masini, Margherita Zorzi

We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal syst…