Relational dual tableau decision procedure for modal logic K | Publicación