Text this: Resolution method for some class of formulas of modal logic S4