Multi-valued logic and Gröner bases with applications to modal logic | Publicación