scientific article; zbMATH DE number 1189095

MaRDI QIDQ3838802zbMATH OpenFDO

Authors Matteo Baldoni, Alberto Martelli, Laura Giordano

Publication date 8 October 1998

zbMATH Keywords

decidabilityformal grammarsgrammar logicsmodal logicsnormal multimodal logicsprefixed analytic tableau calculusundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42)

Recommendations

• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• Automated Reasoning with Analytic Tableaux and Related Methods
• Strongly analytic tableaux for normal modal logics
• The Complexity of Regularity in Grammar Logics and Related Modal Logics
• A Tableau Calculus for Regular Grammar Logics with Converse

Cited in

(14)

• Deciding regular grammar logics with converse through first-order logic
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• A tableau calculus for minimal modal model generation
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• scientific article; zbMATH DE number 1950270 (Why is no real title available?)
• scientific article; zbMATH DE number 1775472 (Why is no real title available?)
• scientific article; zbMATH DE number 1361525 (Why is no real title available?)
• A Tableau Calculus for Regular Grammar Logics with Converse
• On graph calculi for multi-modal logics
• A tableau method for graded intersections of modalities: A case for concept languages
• PSPACE-completeness of bimodal transitive weak-density logic
• ExpTime tableau decision procedures for regular grammar logics with converse
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• Decidability of SHIQ with complex role inclusion axioms

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