scientific article; zbMATH DE number 1775472

zbMATH Open0991.03025MaRDI QIDQ4542599FDOQ4542599

Authors: Michael Bezhanishvili 

Publication date: 4 August 2002

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• A tableau method for graded intersections of modalities: A case for concept languages
• A tableau calculus for minimal modal model generation
• Tableaux for some modal-tense logics Graham Priest's fashion
• Title not available (Why is that?)

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)