Details of The Calculus of Structures - Modal Logics
About The Calculus of Structures - Modal Logics
The Calculus of Structures - Modal Logics- Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
