11 citations · 18 across the 6 of their papers we have counts for
1 paper · 2 filters
Edith Hemaspaandra
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, ∧, ◊,…