scientific article; zbMATH DE number 1062288

zbMATH Open0878.03013MaRDI QIDQ4354885FDOQ4354885

Authors: Stéphane Demri 

Publication date: 17 September 1997

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

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

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)

Cited In (9)

• A polynomial space construction of tree-like models for logics with local chains of modal connectives
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• 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)