A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics