scientific article; zbMATH DE number 589742

MaRDI QIDQ4295875zbMATH OpenFDO

Authors Rajeev Goré

Publication date 24 November 1994

zbMATH Keywords

cut-eliminationdeducibilityinterpolationnonmonotonic logicpropositional monotonic modal logicssemi-analytic tableau calculustableau completeness

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A uniform tableaux method for nonmonotonic modal logics
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Strongly analytic tableaux for normal modal logics
• scientific article; zbMATH DE number 140404
• scientific article; zbMATH DE number 517087

Cited in

(9)

• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Clausal Tableaux for Multimodal Logics of Belief
• scientific article; zbMATH DE number 51460 (Why is no real title available?)
• scientific article; zbMATH DE number 140404 (Why is no real title available?)
• scientific article; zbMATH DE number 1761417 (Why is no real title available?)
• A note on the complexity of \textbf{S4.2}
• Strongly analytic tableaux for normal modal logics
• A uniform tableaux method for nonmonotonic modal logics
• Labelled tableau calculi for weak modal 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 Q4295875)