Labelled modal tableaux

MaRDI QIDQ3086941zbMATH OpenFDO

Authors Guido Governatori

Publication date 30 March 2011

zbMATH Keywords

conditional logiclabelled tableauxnon-normal modal logicrelative complexity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• On the relative complexity of labelled modal tableaux
• scientific article; zbMATH DE number 1538059
• Free variable tableaux for propositional modal logics
• Labelled proofs for quantified modal logic
• Labelled propositional modal logics: theory and practice

Cited in

(6)

• Local reductions for the modal cube
• Fibred modal tableaux
• scientific article; zbMATH DE number 2024627 (Why is no real title available?)
• scientific article; zbMATH DE number 1538059 (Why is no real title available?)
• Labelled tableau calculi for weak modal logics
• Labelled KE for intuitionistic propositional logic

This page was built for publication: Labelled modal tableaux

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