scientific article; zbMATH DE number 591209

MaRDI QIDQ4296507zbMATH OpenFDO

Authors Silvio Valentini

Publication date 19 June 1994

zbMATH Keywords

cut-eliminationdecidabilitydeontic logicfinite model propertyGentzen methodinterpolation lemmamodal logic \(D\)

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 149884
• Modal sequents for normal modal logics
• A cut-free simple sequent calculus for modal logic S5
• Deep sequent systems for modal logic
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D

Cited in

(12)

• Modular sequent calculi for classical modal logics
• Loop-free calculus for modal logic S4. II
• A Sequent Calculus for the Lesniewskian Modal Logic
• scientific article; zbMATH DE number 2024614 (Why is no real title available?)
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Gentzen sequent calculi for some intuitionistic modal logics
• scientific article; zbMATH DE number 5043201 (Why is no real title available?)
• A dual-context sequent calculus for the constructive modal logic S4
• Simple sequent systems for the modal logics K, D, T, and S4
• A hypersequent solution to the inferentialist problem of modality
• Deep sequent systems for modal logic
• Self-referential justifications in epistemic logic

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