Cut-free Gentzen calculus for multimodal ☆
Under an Elsevier user license
open archive
Keywords
Constructive modal logic
Sequent calculus
Cut elimination
Curry–Howard correspondence
Cited by (0)
- ☆
This work is funded by the German Research Council (DFG) as part of the project SPACMoDL grant No. ME 1427/4-1.
Copyright © 2011 Elsevier Inc. All rights reserved.