scientific article; zbMATH DE number 1775472

MaRDI QIDQ4542599zbMATH OpenFDO

Authors Michael Bezhanishvili

Publication date 4 August 2002

zbMATH Keywords

tableau calculusBochvar style type-free extensionfirst-order epistemic modal logic \({\mathcal E}4\).Frege's logistic thesissemantics of partial possible worlds

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1354113
• A tableau system for the modal \(\mu \)-calculus
• scientific article; zbMATH DE number 1189095
• Tableaus for many-valued modal logic
• Labelled tableau calculi for weak modal logics
• Tableau methods for modal and temporal logics
• scientific article; zbMATH DE number 4187771
• Tableau metatheorem for modal logics
• scientific article; zbMATH DE number 1163395
• Tableau calculus for local cubic modal logic and its implementation

Cited in

(5)

• Tableaux for some modal-tense logics Graham Priest's fashion
• scientific article; zbMATH DE number 2209818 (Why is no real title available?)
• scientific article; zbMATH DE number 3997757 (Why is no real title available?)
• A tableau calculus for minimal modal model generation
• A tableau method for graded intersections of modalities: A case for concept languages

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