20 citations · 86 across the 17 of their papers we have counts for
1 paper · 2 filters
Edith Hemaspaandra, Henning Schnoor
Modal logics are widely used in computer science. The complexity of their satisfiability problems has been an active field of research since the 1970s. We prove that even very "sim…