A new deduction system for deciding validity in modal logic K | Publicación