Title: Papers on many-sorted logic as a tool for modelling