The complexity of poor man's logic

MaRDI QIDQ4501537zbMATH OpenFDO

Authors Edith Hemaspaandra

Publication date 29 January 2001

zbMATH Keywords

complexity of modal satisfiability problemsmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• The complexity of poor man's logic
• Adding clauses to poor man's logic (without increasing the complexity)
• On the complexity of elementary modal logics
• On the complexity of fragments of modal logics
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics

Cited in

(17)

• A polynomial space construction of tree-like models for logics with local chains of modal connectives
• The price of universality
• The complexes of Peter Sellers
• The complexity of poor man's logic
• Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract)
• Adding clauses to poor man's logic (without increasing the complexity)
• A note on the complexity of the satisfiability of modal Horn clauses
• Generalized satisfiability for the description logic \(\mathcal{ALC}\)
• scientific article; zbMATH DE number 1062288 (Why is no real title available?)
• scientific article; zbMATH DE number 1989660 (Why is no real title available?)
• Decomposability helps for deciding logics of knowledge and belief
• A note on the complexity of \textbf{S4.2}
• Expressivity and Complexity of Dependence Logic
• Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
• On the influence of confluence in modal logics
• The complexity of one-agent refinement modal logic
• Generalized modal satisfiability

This page was built for publication: The complexity of poor man's logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501537)