An abstract algebraic logic approach to tetravalent modal logics | Publicación