Logic modeling