The complexity of poor man's logic

Journal of Logic and Computation

Volumn 11, Issue 4, 2001, Pages 609-622

  Hemaspaandra, E ^a  

^a Rochester Institute of Technology   (United States)

Author keywords

Computational complexity; Description logic; Modal logic

Indexed keywords

FORMAL LOGIC; MODAL ANALYSIS; PROBLEM SOLVING; SET THEORY;

DESCRIPTION LOGIC; MODAL LOGIC;

COMPUTATIONAL COMPLEXITY;

EID: 0035415669     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/11.4.609     Document Type: Article

References (10)

1. The complexity of propositional linear temporal logics in simple cases (extended abstract)
2. The complexity of concept languages
3. The complexity of existential quantification in concept languages
4. Positive modal logic
5. The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
6. The computational complexity of probability in systems of modal propositional logic
7. A correspondence theory for terminological logics: Preliminary report
8. Attributive concept descriptions with complements
9. The polynomial-time hierarchy
10. PSPACE reasoning for graded modal logics