Title: A logical approach to computational theory building with applications to sociology