scientific article; zbMATH DE number 1778907

MaRDI QIDQ4544190zbMATH OpenFDO

Authors P. I. Bystrov

Publication date 27 October 2002

zbMATH Keywords

modal logicnatural deductionsequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• A method of mutual conversion of labeled and tableau deduction
• Presentation of proofs in modal natural deduction
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• A simplified natural deduction approach to certain modal systems
• Natural deduction in normal modal logic

Cited in

(3)

• Presentation of proofs in modal natural deduction
• Extended Natural Deduction Images of Conversions from the System of Sequents
• A method of mutual conversion of labeled and tableau deduction

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 Q4544190)