Tableau reductions: Towards an optimal decision procedure for the modal necessity | Publicación