scientific article; zbMATH DE number 5046368

zbMath1107.03016MaRDI QIDQ5483015

Phiniki Stouppa, Charles V. Stewart

Publication date: 15 August 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut-eliminationaxiomatisationstructural proof theory

Mathematics Subject Classification ID

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

Related Items

MELL in the calculus of structures, Deep sequent systems for modal logic, A deep inference system for the modal logic S5, System BV is NP-complete, Maude as a Platform for Designing and Implementing Deep Inference Systems, Proofs and countermodels in non-classical logics, Display calculi and other modal calculi: a comparison, Syntactic cut-elimination for common knowledge, Syntactic Cut-elimination for Common Knowledge, A general proof certification framework for modal logic