Henkin and Hybrid Logic | Publicación