scientific article; zbMATH DE number 1538059

zbMATH Open0961.03016MaRDI QIDQ4518916FDOQ4518916

Alessandro Luppi, Guido Governatori

Publication date: 3 December 2000

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

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 (9)

• On the finite model property of non-normal modal logics
• Tableaux for some modal-tense logics Graham Priest's fashion
• Modular sequent calculi for classical modal logics
• Fibred modal tableaux
• 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

   Recommendations

• Labelled modal tableaux 👍 👎
• A uniform tableaux method for nonmonotonic modal logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Labelled proofs for quantified modal logic 👍 👎
• Strongly analytic tableaux for normal 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)