Relational dual tableau decision procedures and their applications to modal and intuitionistic logics | Publicación