scientific article; zbMATH DE number 1062288

MaRDI QIDQ4354885zbMATH OpenFDO

Authors Stéphane Demri

Publication date 17 September 1997

zbMATH Keywords

interdependent modal operatorsknowledge operatorsmulti-modal logicsNP-complete satisfiability problems

Mathematics Subject Classification ID

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

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