scientific article; zbMATH DE number 591209

MaRDI QIDQ4296507zbMATH OpenFDO

Authors Silvio Valentini

Publication date 19 June 1994

zbMATH Keywords

decidabilitydeontic logiccut-eliminationfinite model propertyinterpolation lemmaGentzen methodmodal 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

(9)

• Loop-free calculus for modal logic S4. II
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• A dual-context sequent calculus for the constructive modal logic S4
• Self-referential justifications in epistemic logic
• scientific article; zbMATH DE number 2024614 (Why is no real title available?)
• Gentzen sequent calculi for some intuitionistic modal logics
• Modular sequent calculi for classical modal logics
• Deep sequent systems for modal logic
• scientific article; zbMATH DE number 5043201 (Why is no real title available?)

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)