Complexity transfer for modal logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1994, Pages 164-173

  Hemaspaandra, Edith ^a  

^a LE MOYNE COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; THEOREM PROVING;

COMPLEXITY TRANSFER; MODAL LOGIC; MULTIMODAL LOGICS; TRANSFER THEOREMS; UNIMODAL LOGICS;

FORMAL LOGIC;

EID: 0027969545     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)