Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K | Publicación