A modal version of free logic | Publicación