Modal Tree‐Sequents

DOI10.1002/MALQ.19960420117zbMath0882.03013OpenAlexW2002269400MaRDI QIDQ4879198

Claudio Cerrato

Publication date: 4 February 1998

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19960420117

zbMATH Keywords

cut eliminationnatural deductionnormal modal logicstree sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Cut Elimination for Extended Sequent Calculi

Cites Work

• Proof methods for modal and intuitionistic logics
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal Tree‐Sequents