Hina and Logic