Reasoning about local properties in modal logic | Publicación