Title: A logical analysis of soft systems modelling