scientific article; zbMATH DE number 1538059

zbMATH Open0961.03016MaRDI QIDQ4518916FDOQ4518916

Authors: Guido Governatori, Alessandro Luppi 

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• 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
• Title not available (Why is that?)
• Semantic Labelled Tableaux for Propositional BI
• Labelled modal tableaux
• Labelled tableau calculi for weak modal logics

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)