many-sorted logics