Fibred modal tableaux

MaRDI QIDQ2701984zbMATH OpenFDO

Authors Guido Governatori, Dov Gabbay

Publication date 12 March 2001

zbMATH Keywords

fibringlabelled tableaumulti-modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1538059
• scientific article; zbMATH DE number 1189097
• A general framework for pattern-driven modal tableaux
• Labelled modal tableaux
• TABLEAUX: A general theorem prover for modal logics

Cited in

(1)

• Using resolution for testing modal satisfiability and building models

This page was built for publication: Fibred modal tableaux

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