scientific article; zbMATH DE number 1252393

zbMath0916.03018MaRDI QIDQ4229377

Andrzej Indrzejczak

Publication date: 21 February 1999

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

zbMATH Keywords

modal logicsequent calculuscut-freedommodal sequents

Mathematics Subject Classification ID

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

Related Items (7)

A deep inference system for the modal logic S5 ⋮ THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS ⋮ A Critical Overview of the Most Recent Logics of Grounding ⋮ A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 ⋮ A survey of nonstandard sequent calculi ⋮ Display calculi and other modal calculi: a comparison ⋮ The Method of Tree-Hypersequents for Modal Propositional Logic

This page was built for publication: