13 citations · 13 across the 1 of their papers we have counts for
1 paper
Edith Hemaspaandra, Henning Schnoor
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b…