A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics