scientific article; zbMATH DE number 591209

zbMATH Open0813.03013MaRDI QIDQ4296507FDOQ4296507

Authors: Silvio Valentini 

Publication date: 19 June 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Loop-free calculus for modal logic S4. II
• A dual-context sequent calculus for the constructive modal logic S4
• Self-referential justifications in epistemic logic
• Title not available (Why is that?)
• Gentzen sequent calculi for some intuitionistic modal logics
• Modular sequent calculi for classical modal logics
• Deep sequent systems for modal logic
• Title not available (Why is that?)
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

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)