A Family of Decidable Bi-intuitionistic Modal Logics | Publicación