Modal tableaux: completeness vs. termination

MaRDI QIDQ3007260zbMATH OpenFDO

Authors Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade

Publication date 21 June 2011

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Terminating modal tableaux with simple completeness proof
• scientific article; zbMATH DE number 1267561
• scientific article; zbMATH DE number 1435945
• Strongly analytic tableaux for normal modal logics
• TABLEAUX: A general theorem prover for modal logics

Cited in

(6)

• Clausal Tableaux for Multimodal Logics of Belief
• Terminating modal tableaux with simple completeness proof
• scientific article; zbMATH DE number 1267561 (Why is no real title available?)
• A general framework for pattern-driven modal tableaux
• scientific article; zbMATH DE number 1435945 (Why is no real title available?)
• Tableau metatheorem for modal logics

This page was built for publication: Modal tableaux: completeness vs. termination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007260)