scientific article; zbMATH DE number 1062288

MaRDI QIDQ4354885zbMATH OpenFDO

Authors Stéphane Demri

Publication date 17 September 1997

zbMATH Keywords

multi-modal logicsknowledge operatorsinterdependent modal operatorsNP-complete satisfiability problems

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• A guide to completeness and complexity for modal logics of knowledge and belief
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• scientific article; zbMATH DE number 1500520

Cited in

(9)

• A polynomial space construction of tree-like models for logics with local chains of modal connectives
• scientific article; zbMATH DE number 4010486 (Why is no real title available?)
• Conservative extensions in modal logic
• Complexity of logics for multi-agent systems with restricted modal context
• Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• Computational complexity of multimodal logics based on rough sets
• On the influence of confluence in 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 Q4354885)