Labelled modal tableaux

zbMATH Open1244.03065MaRDI QIDQ3086941FDOQ3086941

Authors: Guido Governatori 

Publication date: 30 March 2011

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

zbMATH Keywords

conditional logicnon-normal modal logicrelative complexitylabelled tableaux

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Local reductions for the modal cube
• Fibred modal tableaux
• Title not available (Why is that?)
• Labelled tableau calculi for weak modal logics

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)