Bi-intermediate logics of trees and co-trees | Publicación