scientific article; zbMATH DE number 1538059

MaRDI QIDQ4518916zbMATH OpenFDO

Authors Guido Governatori, Alessandro Luppi

Publication date 3 December 2000

zbMATH Keywords

nonnormal modal logicstableau-like proof system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Labelled modal tableaux
• A uniform tableaux method for nonmonotonic modal logics
• Labelled tableau calculi for weak modal logics
• Labelled proofs for quantified modal logic
• Strongly analytic tableaux for normal modal logics

Cited in

(13)

• Labelled tableau calculi for weak modal logics
• On the finite model property of non-normal modal logics
• A uniform tableaux method for nonmonotonic modal logics
• Tableaux for some modal-tense logics Graham Priest's fashion
• Modular sequent calculi for classical modal logics
• Fibred modal tableaux
• Tableaux for essence and contingency
• On the relative complexity of labelled modal tableaux
• Admissibility of cut in coalgebraic logics
• Cut elimination in coalgebraic logics
• scientific article; zbMATH DE number 2196587 (Why is no real title available?)
• Semantic Labelled Tableaux for Propositional BI
• Labelled modal tableaux

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 Q4518916)