A logical approach to computational theory building door