for Modal Satisfiability -- Deduction-Based Decision Procedure for a Clausal Miniscoped