scientific article; zbMATH DE number 4045715

MaRDI QIDQ3783272zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 1987

zbMATH Keywords

elimination of the cut rulefunctional modal logic S5structural characterization of derivations

Mathematics Subject Classification ID

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

Recommendations

• The elimination theorem when modality is present
• Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
• Cut-free double sequent calculus for S5
• The modal logic of provability: cut-elimination
• scientific article; zbMATH DE number 3871327

Cited in

(4)

• scientific article; zbMATH DE number 1163995 (Why is no real title available?)
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• scientific article; zbMATH DE number 834567 (Why is no real title available?)
• The elimination theorem when modality is present

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3783272)